The following pages link to Computer Aided Verification (Q5716574):
Displaying 26 items.
- Decision procedures for flat array properties (Q287272) (← links)
- Solving parity games by a reduction to SAT (Q414902) (← links)
- Combining decision procedures by (model-)equality propagation (Q436376) (← links)
- A combinatorial certifying algorithm for linear feasibility in UTVPI constraints (Q527418) (← links)
- Equality detection for linear arithmetic constraints (Q621462) (← links)
- Design and results of the first satisfiability modulo theories competition (SMT-COMP 2005) (Q861691) (← links)
- Answer set programming based on propositional satisfiability (Q861709) (← links)
- Stable models and difference logic (Q1028651) (← links)
- A framework for satisfiability modulo theories (Q1037239) (← links)
- Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis (Q1037399) (← links)
- A certifying algorithm for lattice point feasibility in a system of UTVPI constraints (Q1702822) (← links)
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates (Q2031420) (← links)
- Analyzing unit read-once refutations in difference constraint systems (Q2055789) (← links)
- SPASS-SATT. A CDCL(LA) solver (Q2305409) (← links)
- Incrementally closing octagons (Q2335904) (← links)
- Feasibility checking in Horn constraint systems through a reduction based approach (Q2344728) (← links)
- Efficient computation of answer sets via SAT modulo acyclicity and vertex elimination (Q2694569) (← links)
- Colors Make Theories Hard (Q2817916) (← links)
- SAT Modulo Graphs: Acyclicity (Q2938490) (← links)
- Satisfiability Modulo Theories (Q3176369) (← links)
- Efficient Term-ITE Conversion for Satisfiability Modulo Theories (Q3637169) (← links)
- On relation between constraint answer set programming and satisfiability modulo theories (Q4593096) (← links)
- Inlining External Sources in Answer Set Programs (Q4957183) (← links)
- Combining Decision Procedures by (Model-)Equality Propagation (Q5179357) (← links)
- Interpolant Generation for UTVPI (Q5191101) (← links)
- Unit read-once refutations for systems of difference constraints (Q6174656) (← links)
