Zchaff2004: An Efficient SAT Solver

@inproceedings{Mahajan2004Zchaff2004AE,
  title={Zchaff2004: An Efficient SAT Solver},
  author={Yogesh S. Mahajan and Zhaohui Fu and Sharad Malik},
  booktitle={SAT (Selected Papers},
  year={2004}
}
The Boolean Satisfiability Problem (SAT) is a well known NP-Complete problem. While its complexity remains a source of many interesting questions for theoretical computer scientists, the problem has found many practical applications in recent years. The emergence of efficient SAT solvers which can handle large structured SAT instances has enabled the use of SAT solvers in diverse domains such as electronic design automation and artificial intelligence. These applications continue to motivate… CONTINUE READING
Highly Influential
This paper has highly influenced 13 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 170 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 90 extracted citations

WAP: SAT-Based Computation of Minimal Cut Sets

2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE) • 2017
View 4 Excerpts
Highly Influenced

A Query Driven Security Testing Framework for Enterprise Network

2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops • 2013
View 15 Excerpts
Highly Influenced

Using implications to choose tests through suspect fault identification

ACM Trans. Design Autom. Electr. Syst. • 2012
View 4 Excerpts
Highly Influenced

Dynamic Test Set Selection Using Implication-Based On-Chip Diagnosis

2011 Sixteenth IEEE European Test Symposium • 2011
View 7 Excerpts
Highly Influenced

A Cost Effective Approach for Online Error Detection Using Invariant Relationships

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems • 2010
View 5 Excerpts
Highly Influenced

Hybrid SAT Solver Considering Circuit Observability

2008 The 9th International Conference for Young Computer Scientists • 2008
View 4 Excerpts
Highly Influenced

Compacting test vector sets via strategic use of implications

2009 IEEE/ACM International Conference on Computer-Aided Design - Digest of Technical Papers • 2009
View 3 Excerpts
Highly Influenced

170 Citations

02040'07'10'13'16'19
Citations per Year
Semantic Scholar estimates that this publication has 170 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 31 references

Similar Papers

Loading similar papers…