On CNF conversion for disjoint SAT enumeration (Q6643091)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On CNF conversion for disjoint SAT enumeration |
scientific article; zbMATH DE number 7949188
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On CNF conversion for disjoint SAT enumeration |
scientific article; zbMATH DE number 7949188 |
Statements
On CNF conversion for disjoint SAT enumeration (English)
0 references
26 November 2024
0 references
CNF conversion
0 references
AllSAT
0 references
AllSMT
0 references