Results 1 to 10 of about 20 (20)

First-Order Automated Reasoning With Theories: When Deduction Modulo Theory Meets Practice

Journal of Automated Reasoning, 2020
David Delahaye, Pierre Halmagrand, Olivier Hermant   +2 more
exaly  

Optimization Modulo Theories With Linear Rational Costs

ACM Transactions on Computational Logic, 2015
Roberto Sebastiani
exaly  

OptiMathSAT: A Tool for Optimization Modulo Theories

Lecture Notes in Computer Science, 2015
Patrick Trentin, Roberto Sebastiani
exaly  

On Optimization Modulo Theories, MaxSMT and Sorting Networks

Lecture Notes in Computer Science, 2017
Patrick Trentin, Roberto Sebastiani
exaly  

Component-Based Synthesis of Embedded Systems Using Satisfiability Modulo Theories

ACM Transactions on Design Automation of Electronic Systems, 2015
Tony Givargis
exaly  

Structured Learning Modulo Theories

Artificial Intelligence, 2017
Roberto Sebastiani, Andrea Passerini, Stefano Teso   +2 more
exaly  

Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis

Lecture Notes in Computer Science, 2006
Roberto Sebastiani, Alessandro Cimatti, Alberto Griggio   +2 more
exaly  

Precise and Complete Propagation Based Local Search for Satisfiability Modulo Theories

Lecture Notes in Computer Science, 2016
Armin Biere, Mathias Preiner, Aina Niemetz   +2 more
exaly  

Solving SAT and SAT Modulo Theories

Journal of the ACM, 2006
Albert Oliveras Llunell, Robert Lukas Mario Nieuwenhuis, Cesare Tinelli   +2 more
exaly  

On Relation Between Constraint Answer Set Programming and Satisfiability Modulo Theories

Theory and Practice of Logic Programming, 2017
Yuliya Lierler
exaly