Skip to main content

Structural and Algebraic Coding Theory Based Approach to SAT Solvers

Dhiraj K Pradhan, Structural and Algebraic Coding Theory Based Approach to SAT Solvers. CSTR-03-003, Department of Computer Science, University of Bristol. March 2003. No electronic version available. External information

Abstract

This report introduces a new framework for SAT solvers. Copy can be obtained by contacting pradhan@cs.bris.ac.uk

Bibtex entry.

Contact details

Publication Admin