A Proof-Producing Boolean Search Engine (2003)

Cached

Download Links

by Clark Barrett , Sergey Berezin
Venue:In Proceedings of PDPAR’03
Citations:13 - 6 self

Active Bibliography

121 DPLL(T): Fast Decision Procedures – Harald Ganzinger, George Hagen, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli - 2004
85 Lazy Satisfiability Modulo Theories – Roberto Sebastiani - 2007
78 A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions – G Audemard , P Bertoli , A Cimatti , A Kornilowicz , R Sebastiani - 2002
43 DPLL(T) with Exhaustive Theory Propagation and its Application to Difference Logic – Robert Nieuwenhuis, Albert Oliveras - 2005
35 Answer set programming based on propositional satisfiability – Enrico Giunchiglia, Yuliya Lierler, Marco Maratea - 2006
31 A DPLL-based Calculus for Ground Satisfiability Modulo Theories – Cesare Tinelli - 2002
30 An incremental and layered procedure for the satisfiability of linear arithmetic logic – Marco Bozzano, Roberto Bruttomesso, Ro Cimatti, Tommi Junttila, Peter Van Rossum, Stephan Schulz, Roberto Sebastiani - 2005
24 Planning Technology for Intelligent Cognitive Orthotics – Martha E. Pollack - 2002
24 CTP: A New Constraint-Based Formalism for Conditional, Temporal Planning – Ioannis Tsamardinos, Thierry Vidal, Martha Pollack, Ioannis Tsamardinos (ioannis Tsamardinosv, Erbilt Edu, Thierry Vidal (therryent Fr - 2003
22 MathSAT: Tight integration of SAT and mathematical decision procedures – Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi Junttila, Stephan Schulz, Roberto Sebastiani, et al. - 2005