|
7
|
Automatic refinement and vacuity detection for symbolic trajectory evaluation
– Rachel Tzoref, Orna Grumberg
- 2006
|
|
3
|
A signal correlation guided circuit-sat solver
– Feng Lu, Li-c. Wang, Kwang-ting (tim Cheng, John Moondanos, Ziyad Hanna
- 2004
|
|
8
|
Sat-based assistance in abstraction refinement for symbolic trajectory evaluation
– Jan-willem Roorda, Koen Claessen
- 2006
|
|
10
|
Memory efficient all-solutions sat solver and its application for reachability analysis
– Orna Grumberg, Assaf Schuster, Avi Yadgar
- 2004
|
|
1
|
Automatic Abstraction in Symbolic Trajectory Evaluation
– Sara Adams, Magnus Björk, Tom Melham
|
|
11
|
Satisfiability Solvers
– Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman
- 2008
|
|
7
|
An incremental algorithm to check satisfiability for bounded model checking
– Hoonsang Jin, Fabio Somenzi
- 2004
|
|
10
|
CirCUs: A hybrid satisfiability solver
– Hoonsang Jin, Fabio Somenzi
- 2004
|
|
8
|
Efficient conflict analysis for finding all satisfying assignments of a boolean circuit
– Hoonsang Jin, Hyojung Han, Fabio Somenzi
- 2005
|
|
16
|
Unrestricted vs restricted cut in a tableau method for Boolean circuits
– Matti Järvisalo, Tommi A. Junttila, Ilkka Niemelä
- 2005
|
|
|
Symbolic Trajectory Evaluation (STE): Automatic Refinement and Vacuity Detection
– Orna Grumberg
|
|
2
|
Using global structural relationships of signals to accelerate sat-based combinational equivalence checking
– Rajat Arora, Michael S. Hsiao
- 2004
|
|
2
|
Verification using Satisfiability Checking, Predicate Abstraction, and Craig Interpolation
– Himanshu Jain, Randal E. Bryant
- 2008
|
|
8
|
A new SAT-based algorithm for symbolic trajectory evaluation
– Jan-willem Roorda, Koen Claessen
- 2005
|
|
16
|
Understanding the power of clause learning
– Paul Beame, Henry Kautz, Ashish Sabharwal
- 2003
|
|
10
|
Using Problem Structure for Efficient Clause Learning
– Ashish Sabharwal, Paul Beame, Henry Kautz
- 2003
|
|
1
|
Efficient Automatic STE Refinement Using Responsibility
– Hana Chockler, Orna Grumberg, Avi Yadgar
|
|
23
|
Propositional Satisfiability and Constraint Programming: a Comparative Survey
– Lucas Bordeaux, Youssef Hamadi, Lintao Zhang
- 2006
|
|
109
|
The Quest for Efficient Boolean Satisfiability Solvers
– Lintao Zhang, Sharad Malik
- 2002
|
