The Quest for Efficient Boolean Satisfiability Solvers (2002)

by Lintao Zhang , Sharad Malik
Citations:109 - 2 self

Documents Related by Co-Citation

909 Chaff: Engineering an Efficient SAT Solver – Matthew W. Moskewicz , Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik - 2001
636 A machine program for theorem proving – M Davis, G Logemann, D Loveland - 1962
38 A Hybrid SAT-Based Decision Procedure for Separation Logic with Uninterpreted Functions – Sanjit A. Seshia, Shuvendu K. Lahiri, Randal E. Bryant - 2003
352 Simplification by cooperating decision procedures – Greg Nelson, Derek C. Oppen - 1979
184 CVCLite: A new implementation of the cooperating validity checker category b – C W Barrett, S Berezin
244 Efficient Conflict Driven Learning in a Boolean Satisfiability Solver – Lintao Zhang, Conor F. Madigan, Matthew H. Moskewicz - 2001
432 Constraint Processing – R Dechter
362 Planning as satisfiability – Henry Kautz, Bart Selman - 1992
423 A machine program for theoremproving – Martin Davis, George Logemann, Donald Loveland - 1962
338 An extensible SAT-solver – N Een, N Sörensson - 2003
29 SAT-based Decision Procedure for the Boolean Combination of Difference Constraints – A Armando, C Castellini, E Giunchiglia, M Maratea - 2004
58 ICS: Integrated Canonizer and Solver – J-C Filliatre, S Owre, H RueB, N Shankar - 2001
92 DPLL(T): Fast Decision Procedures – Harald Ganzinger, George Hagen, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli - 2004
22 An incremental and layered procedure for the satisfiability of linear arithmetic logic – M Bozzano, R Bruttomesso, A Cimatti, T Junttila, P van Rossum, S Schulz, R Sebastiani
29 RTL-Datapath Verification using Integer Linear Programming – Raik Brinkmann, Rolf Drechsler - 2002
22 Partition-Based Decision Heuristics for Image Computation using SAT and BDDs – Aarti Gupta, Zijiang Yang, Pranav Ashar - 2001
360 Network-based heuristics for constraint satisfaction problems – R Dechter, J Pearl - 1987
230 Symbolic Model Checking Using SAT Procedures instead of BDDs – A. Biere, A. Cimatti, E. M. Clarke, M. Fujita, Y. Zhu - 1999
2605 Graph-based algorithms for Boolean function manipulation – Randal E. Bryant - 1986