Structural and Algebraic Coding Theory Based Approach to SAT Solvers

Dhiraj Pradhan

Research output: Working paper

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 contribution	Structural and Algebraic Coding Theory Based Approach to SAT Solvers
Original language	English
Publisher	University of Bristol
Publication status	Published - 2003

Other page information: -16
Other identifier: 1000698

@techreport{adaba25eaef84201a399d05a9ca99b97,

title = "Structural and Algebraic Coding Theory Based Approach to SAT Solvers",

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

author = "Dhiraj Pradhan",

note = "Other page information: -16 Other identifier: 1000698",

year = "2003",

language = "English",

publisher = "University of Bristol",

address = "United Kingdom",

type = "WorkingPaper",

institution = "University of Bristol",

}

TY - UNPB

T1 - Structural and Algebraic Coding Theory Based Approach to SAT Solvers

AU - Pradhan, Dhiraj

N1 - Other page information: -16 Other identifier: 1000698

PY - 2003

Y1 - 2003

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

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

M3 - Working paper

BT - Structural and Algebraic Coding Theory Based Approach to SAT Solvers

PB - University of Bristol

ER -