Validating sat solvers using an independent resolution-based checker: Practical implementations and other applications (2003)

by Lintao Zhang
Venue:In Proceedings of Design, Automation and Test in Europe (DATE2003
Citations:99 - 6 self