Solving SAT for CNF Formulas with a One-Sided Restriction on Variable Occurrences (Q3637160)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Solving SAT for CNF Formulas with a One-Sided Restriction on Variable Occurrences |
scientific article |
Statements
Solving SAT for CNF Formulas with a One-Sided Restriction on Variable Occurrences (English)
0 references
7 July 2009
0 references
