A hierarchy of propositional Horn formuls (Q1122571)
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: Publication:1122571 |
scientific article; zbMATH DE number 4106824
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A hierarchy of propositional Horn formuls |
scientific article; zbMATH DE number 4106824 |
Statements
A hierarchy of propositional Horn formuls (English)
0 references
1989
0 references
number of alternations between players in a game
0 references
hierarchy of propositional Horn formulas
0 references
satisfiability of Horn formulas
0 references
bounded- depth circuits
0 references
0.8145869374275208
0 references
0.794952929019928
0 references
0.7915028929710388
0 references
0.7852520942687988
0 references
