Cylindrical algebraic decompositions for boolean combinations (Q2963225): Difference between revisions
From MaRDI portal
Changed an Item |
Created claim: DBLP publication ID (P1635): conf/issac/BradfordDEMW13, #quickstatements; #temporary_batch_1731483406851 |
||
Property / DBLP publication ID | |||
Property / DBLP publication ID: conf/issac/BradfordDEMW13 / rank | |||
Normal rank |
Latest revision as of 09:10, 13 November 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Cylindrical algebraic decompositions for boolean combinations |
scientific article |
Statements
Cylindrical algebraic decompositions for boolean combinations (English)
0 references
10 February 2017
0 references
cylindrical algebraic decomposition
0 references
equational constraint
0 references