An approximative inference method for solving \(\exists \forall \)SO satisfiability problems (Q4930775)
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 5794802
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | An approximative inference method for solving \(\exists \forall \)SO satisfiability problems |
scientific article; zbMATH DE number 5794802 |
Statements
An Approximative Inference Method for Solving ∃ ∀SO Satisfiability Problems (English)
0 references
1 October 2010
0 references
0.9814346432685852
0 references
0.7218310236930847
0 references
0.7138731479644775
0 references
0.7054559588432312
0 references
0.7054555416107178
0 references
