Clause simplifications in search-space decomposition-based SAT solvers (Q4583960)
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: Clause simplifications in search-space decomposition-based SAT solvers |
scientific article; zbMATH DE number 6928625
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Clause simplifications in search-space decomposition-based SAT solvers |
scientific article; zbMATH DE number 6928625 |
Statements
29 August 2018
0 references
SAT
0 references
guiding paths
0 references
inprocessing
0 references
blocked clause elimination
0 references
0.8210544586181641
0 references
0.8139022588729858
0 references
0.7691830396652222
0 references
0.7490100264549255
0 references
0.739931583404541
0 references
