Itauto: An Extensible Intuitionistic SAT Solver (Q6157250)
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: Itauto: An Extensible Intuitionistic SAT Solver |
scientific article; zbMATH DE number 7699426
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Itauto: An Extensible Intuitionistic SAT Solver |
scientific article; zbMATH DE number 7699426 |
Statements
20 June 2023
0 references
SAT solver
0 references
proof by reflection
0 references
Itauto: An Extensible Intuitionistic SAT Solver (English)
0 references
0.87078893
0 references
0.86699635
0 references
0.85506284
0 references
0.85445654
0 references
0 references
0.84863245
0 references
0.84860885
0 references
0.84715486
0 references
0.84575474
0 references
