Reduction algorithms for solving large systems of logical equations (Q1594832)
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: Reduction algorithms for solving large systems of logical equations |
scientific article; zbMATH DE number 1558144
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Reduction algorithms for solving large systems of logical equations |
scientific article; zbMATH DE number 1558144 |
Statements
Reduction algorithms for solving large systems of logical equations (English)
0 references
5 July 2001
0 references
reduction algorithms
0 references
root finding
0 references
large systems of logical equations
0 references
0.9118886
0 references
0.89496773
0 references
0.87131923
0 references
0.8681506
0 references
0.8581905
0 references
0.85799176
0 references
