Cylindrical algebraic decompositions for boolean combinations (Q2963225): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
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
    0 references
    0 references
    0 references
    0 references
    0 references
    10 February 2017
    0 references
    cylindrical algebraic decomposition
    0 references
    equational constraint
    0 references

    Identifiers