Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking

@inproceedings{Darbari2010IndustrialStrengthCS,
  title={Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking},
  author={Ashish Darbari and Bernd Fischer and Joao Marques-Silva},
  booktitle={ICTAC},
  year={2010}
}
Highly Cited
This paper has 34 citations. REVIEW CITATIONS