Results 41 to 50 of about 50 (50)

Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions

ACM Transactions on Computational Logic, 2018
Ahmed Irfan, Marco Roveri, Roberto Sebastiani   +2 more
exaly  

A DPLL-Based Calculus for Ground Satisfiability Modulo Theories

Lecture Notes in Computer Science, 2002
Cesare Tinelli
exaly  

Non-Monotonic Spatial Reasoning With Answer Set Programming Modulo Theories

Theory and Practice of Logic Programming, 2017
Carl Schultz, Mehul Bhatt
exaly  

DAG Inlining: A Decision Procedure for Reachability-Modulo-Theories in Hierarchical Programs

ACM SIGPLAN Notices, 2015
Shaz Qadeer
exaly  

Rewriting Modulo SMT and Open System Analysis

Lecture Notes in Computer Science, 2014
Camilo Rocha, César Muñoz
exaly  

Design and Results of the 2nd Annual Satisfiability Modulo Theories Competition (SMT-COMP 2006)

Formal Methods in System Design, 2007
Leonardo de Moura, Clark Barrett, Aaron David Stump   +2 more
exaly  

Generalized Optimization Modulo Theories

Lecture Notes in Computer Science
Nestan Tsiskaridze, Cesare Tinelli, Clark Barrett   +2 more
exaly  

Proof Checking Technology for Satisfiability Modulo Theories

Electronic Notes in Theoretical Computer Science, 2009
exaly  

Using Satisfiability Modulo Theories for Inductive Verification of Lustre Programs

Electronic Notes in Theoretical Computer Science, 2006
exaly  

Exploiting Partial-Assignment Enumeration in Optimization Modulo Theories

Lecture Notes in Computer Science
Roberto Sebastiani, Gabriele Masina
exaly