Validating SAT Solvers Using an Independent Resolution-Based Checker Practical Implementations and Other Applications

As the use of SAT solvers as core engines in EDA applications grows, it becomes increasingly important to validate their correctness. In this paper, we describe the implementation of an independent resolution-based checking procedure that can check the validity of unsatisfiable claims produced by th...

Ausführliche Beschreibung