Results 131 to 140 of about 158 (143)
Some of the next articles are maybe not open access.
Optimization Modulo Theories with Linear Rational Costs
ACM Transactions on Computational Logic, 2015Roberto Sebastiani
exaly
Synonymous theories and knowledge representations in answer set programming
Journal of Computer and System Sciences, 2012A Valverde
exaly
Design and results of the Fifth Answer Set Programming Competition
Artificial Intelligence, 2016Francesco Calimeri +2 more
exaly
Proof Checking Technology for Satisfiability Modulo Theories
Electronic Notes in Theoretical Computer Science, 2009Aaron Stump
exaly
The Inez Mathematical Programming Modulo Theories Framework
Lecture Notes in Computer Science, 2015Panagiotis Manolios +1 more
exaly
Answer Set Programming as SAT modulo Acyclicity
Frontiers in Artificial Intelligence and Applications, 2014Gebser Martin, Janhunen Tomi
exaly
Component-Based Synthesis of Embedded Systems Using Satisfiability Modulo Theories
ACM Transactions on Design Automation of Electronic Systems, 2015Steffen Peter, Tony Givargis
exaly
Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006)
Formal Methods in System Design, 2007Clark Barrett +2 more
exaly