About some UP-based polynomial fragments of SAT (Q513329)
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: About some UP-based polynomial fragments of SAT |
scientific article; zbMATH DE number 6692031
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | About some UP-based polynomial fragments of SAT |
scientific article; zbMATH DE number 6692031 |
Statements
About some UP-based polynomial fragments of SAT (English)
0 references
6 March 2017
0 references
SAT
0 references
unit propagation
0 references
polynomial classes
0 references
Quad
0 references
UP-Horn
0 references
0 references
0 references
0 references
0 references
0.83690304
0 references
0.8325022
0 references
0.8314738
0 references
0.8310605
0 references
0.8294588
0 references
0.8265887
0 references
0 references
0 references
