2009 10th International Workshop on Microprocessor Test and Verification 2009
DOI: 10.1109/mtv.2009.25
|View full text |Cite
|
Sign up to set email alerts
|

A Reconfigurable Five-Stage Pipelined SAT Solver

Abstract: Several approaches have been proposed to accelerate the NP-complete Boolean Satisfiability problem (SAT) using reconfigurable computing. In this paper, we present a fivestage pipelined SAT solver. The first stage is a variable decider that, in the normal flow, assigns a free variable from a set of statically pre-ordered variables. In case of conflict, where one or more of the SAT CNF clauses is unsatisfied, the highest ordered variable from a pool of conflicting variables is reassigned or freed. The second sta… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Year Published

2012
2012
2012
2012

Publication Types

Select...
1

Relationship

0
1

Authors

Journals

citations
Cited by 1 publication
references
References 15 publications
0
0
0
Order By: Relevance