Author of the publication

Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver.

, , , , and . DAC, page 747-750. ACM, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Predicting Concurrency Failures in the Generalized Execution Traces of x86 Executables., and . RV, volume 7186 of Lecture Notes in Computer Science, page 4-18. Springer, (2011)DiVer: SAT-Based Model Checking Platform for Verifying Large Scale Systems., , and . TACAS, volume 3440 of Lecture Notes in Computer Science, page 575-580. Springer, (2005)SIVA: A System for Coverage-Directed State Space Search., , , , and . J. Electron. Test., 17 (1): 11-27 (2001)BEST: A symbolic testing tool for predicting multi-threaded program failures., , , , and . ASE, page 596-599. IEEE Computer Society, (2011)Abstraction and BDDs Complement SAT-Based BMC in DiVer., , , , and . CAV, volume 2725 of Lecture Notes in Computer Science, page 206-209. Springer, (2003)Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problems., , , , , and . FMCAD, page 81-89. IEEE, (2010)Efficient state space exploration: Interleaving stateless and state-based model checking., , and . ICCAD, page 786-793. IEEE, (2010)Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination., , , and . LPAR, volume 3835 of Lecture Notes in Computer Science, page 322-336. Springer, (2005)Efficient Modeling of Concurrent Systems in BMC., and . SPIN, volume 5156 of Lecture Notes in Computer Science, page 114-133. Springer, (2008)Dynamic Livelock Analysis of Multi-threaded Programs.. RV, volume 7687 of Lecture Notes in Computer Science, page 3-18. Springer, (2012)