Finding the hardest formulas for resolution (Q5154766)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7406494
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Finding the hardest formulas for resolution |
scientific article; zbMATH DE number 7406494 |
Statements
Finding the Hardest Formulas for Resolution (English)
0 references
5 October 2021
0 references
satisfiability
0 references
automated reasoning
0 references
mathematical foundations
0 references
0 references
0.7930697798728943
0 references
0.773037850856781
0 references
0.7591255903244019
0 references
