Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition (Q2879160)
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 6341349
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition |
scientific article; zbMATH DE number 6341349 |
Statements
Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition (English)
0 references
8 September 2014
0 references
0.8996568322181702
0 references
0.8682457208633423
0 references
0.8420814871788025
0 references
0.834629476070404
0 references
