BerkMin: A fast and robust SAT-solver (Q2643301)
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: BerkMin: A fast and robust SAT-solver |
scientific article; zbMATH DE number 5182373
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | BerkMin: A fast and robust SAT-solver |
scientific article; zbMATH DE number 5182373 |
Statements
BerkMin: A fast and robust SAT-solver (English)
0 references
23 August 2007
0 references
satisfiability testing
0 references
decision-making procedure
0 references
clause database management
0 references
0.8365181684494019
0 references
0.8337722420692444
0 references
0.8149705529212952
0 references
