Variable and Clause Ordering in an FSA Approach to Propositional Satisfiability (Q5200054)
From MaRDI portal
scientific article; zbMATH DE number 5934381
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Variable and Clause Ordering in an FSA Approach to Propositional Satisfiability |
scientific article; zbMATH DE number 5934381 |
Statements
Variable and Clause Ordering in an FSA Approach to Propositional Satisfiability (English)
0 references
29 July 2011
0 references
ALL-SAT
0 references
model counting
0 references
FSA intersection
0 references
regular expression compilation
0 references
