3-Valued Circuit SAT for STE with Automatic Refinement

Cached

Download Links

by Orna Grumberg , Assaf Schuster , Avi Yadgar
Citations:1 - 1 self

Active Bibliography

8 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
9 Sat-based assistance in abstraction refinement for symbolic trajectory evaluation – Jan-willem Roorda, Koen Claessen - 2006
11 Memory efficient all-solutions sat solver and its application for reachability analysis – Orna Grumberg, Assaf Schuster, Avi Yadgar - 2004
Chapter 2 Satisfiability Solvers – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman
24 Satisfiability Solvers – Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman - 2008
Seventh International Conference on Formal Methods in Computer-Aided Design Automatic Abstraction in Symbolic Trajectory Evaluation – Sara Adams, Magnus Björk, Tom Melham, Carl-johan Seger
4 Automatic Abstraction in Symbolic Trajectory Evaluation – Sara Adams, Magnus Björk, Tom Melham
10 An incremental algorithm to check satisfiability for bounded model checking – Hoonsang Jin, Fabio Somenzi - 2004
12 CirCUs: A hybrid satisfiability solver – Hoonsang Jin, Fabio Somenzi - 2004
10 Efficient conflict analysis for finding all satisfying assignments of a boolean circuit – Hoonsang Jin, Hyojung Han, Fabio Somenzi - 2005
19 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
3 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
21 Understanding the power of clause learning – Paul Beame, Henry Kautz, Ashish Sabharwal - 2003
12 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