Structural and Algebraic Coding Theory Based Approach to SAT Solvers

Dhiraj Pradhan

Research output: Working paperWorking paper and Preprints

Abstract

This report introduces a new framework for SAT solvers. Copy can be obtained by contacting pradhan@cs.bris.ac.uk
Translated title of the contributionStructural and Algebraic Coding Theory Based Approach to SAT Solvers
Original languageEnglish
PublisherUniversity of Bristol
Publication statusPublished - 2003

Bibliographical note

Other page information: -16
Other identifier: 1000698

Cite this