The following pages link to (Q4809056):
Displaying 17 items.
- The SAT-based approach to separation logic (Q862390) (← links)
- M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures (Q862395) (← links)
- Fast congruence closure and extensions (Q876046) (← links)
- HySAT: An efficient proof engine for bounded model checking of hybrid systems (Q883144) (← links)
- Efficiently checking propositional refutations in HOL theorem provers (Q1006729) (← links)
- An approach for extracting a small unsatisfiable core (Q1028724) (← links)
- A framework for satisfiability modulo theories (Q1037239) (← links)
- Preface to the special issue ``SI: satisfiability modulo theories'' (Q2441769) (← links)
- Building small equality graphs for deciding equality logic with uninterpreted functions (Q2490118) (← links)
- Generalizing DPLL and satisfiability for equalities (Q2643080) (← links)
- Bounded Model Checking with Parametric Data Structures (Q2864380) (← links)
- SAT Modulo Graphs: Acyclicity (Q2938490) (← links)
- Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT (Q3172891) (← links)
- Satisfiability Modulo Theories (Q3176369) (← links)
- Combining Equational Reasoning (Q3655192) (← links)
- Variant-Based Satisfiability in Initial Algebras (Q4686604) (← links)
- First order Büchi automata and their application to verification of LTL specifications (Q6643476) (← links)
