Return to Article Details Framework for Generating Configurable SAT Solvers Download Download PDF