Matches in SemOpenAlex for { <https://semopenalex.org/work/W3100702068> ?p ?o ?g. }
- W3100702068 abstract "We investigate the distribution of cells by dimension in cylindrical algebraic decompositions (CADs). We find that they follow a standard distribution which seems largely independent of the underlying problem or CAD algorithm used. Rather, the distribution is inherent to the cylindrical structure and determined mostly by the number of variables. This insight is then combined with an algorithm that produces only full-dimensional cells to give an accurate method of predicting the number of cells in a complete CAD. Since constructing only full-dimensional cells is relatively inexpensive (involving no costly algebraic number calculations) this leads to heuristics for helping with various questions of problem formulation for CAD, such as choosing an optimal variable ordering. Our experiments demonstrate that this approach can be highly effective." @default.
- W3100702068 created "2020-11-23" @default.
- W3100702068 creator A5043054372 @default.
- W3100702068 creator A5052009668 @default.
- W3100702068 creator A5052550722 @default.
- W3100702068 creator A5073640180 @default.
- W3100702068 date "2014-09-01" @default.
- W3100702068 modified "2023-09-26" @default.
- W3100702068 title "Using the Distribution of Cells by Dimension in a Cylindrical Algebraic Decomposition" @default.
- W3100702068 cites W126540604 @default.
- W3100702068 cites W1485955744 @default.
- W3100702068 cites W1560494575 @default.
- W3100702068 cites W1565046294 @default.
- W3100702068 cites W1565449944 @default.
- W3100702068 cites W1797874232 @default.
- W3100702068 cites W1969379715 @default.
- W3100702068 cites W1976567870 @default.
- W3100702068 cites W2007074311 @default.
- W3100702068 cites W2020386454 @default.
- W3100702068 cites W2022125816 @default.
- W3100702068 cites W2026774968 @default.
- W3100702068 cites W2051595244 @default.
- W3100702068 cites W2052865204 @default.
- W3100702068 cites W2057592112 @default.
- W3100702068 cites W2067705970 @default.
- W3100702068 cites W2075348750 @default.
- W3100702068 cites W2093850840 @default.
- W3100702068 cites W2113881937 @default.
- W3100702068 cites W2125191920 @default.
- W3100702068 cites W2135122395 @default.
- W3100702068 cites W2149652522 @default.
- W3100702068 cites W3098210831 @default.
- W3100702068 cites W3098379678 @default.
- W3100702068 cites W3098430291 @default.
- W3100702068 cites W979541187 @default.
- W3100702068 doi "https://doi.org/10.1109/synasc.2014.15" @default.
- W3100702068 hasPublicationYear "2014" @default.
- W3100702068 type Work @default.
- W3100702068 sameAs 3100702068 @default.
- W3100702068 citedByCount "9" @default.
- W3100702068 countsByYear W31007020682014 @default.
- W3100702068 countsByYear W31007020682015 @default.
- W3100702068 countsByYear W31007020682016 @default.
- W3100702068 countsByYear W31007020682019 @default.
- W3100702068 countsByYear W31007020682022 @default.
- W3100702068 crossrefType "proceedings-article" @default.
- W3100702068 hasAuthorship W3100702068A5043054372 @default.
- W3100702068 hasAuthorship W3100702068A5052009668 @default.
- W3100702068 hasAuthorship W3100702068A5052550722 @default.
- W3100702068 hasAuthorship W3100702068A5073640180 @default.
- W3100702068 hasBestOaLocation W31007020682 @default.
- W3100702068 hasConcept C110121322 @default.
- W3100702068 hasConcept C11413529 @default.
- W3100702068 hasConcept C114614502 @default.
- W3100702068 hasConcept C124681953 @default.
- W3100702068 hasConcept C126255220 @default.
- W3100702068 hasConcept C127413603 @default.
- W3100702068 hasConcept C127705205 @default.
- W3100702068 hasConcept C134306372 @default.
- W3100702068 hasConcept C178790620 @default.
- W3100702068 hasConcept C182365436 @default.
- W3100702068 hasConcept C185592680 @default.
- W3100702068 hasConcept C194789388 @default.
- W3100702068 hasConcept C199639397 @default.
- W3100702068 hasConcept C33676613 @default.
- W3100702068 hasConcept C33923547 @default.
- W3100702068 hasConcept C41008148 @default.
- W3100702068 hasConcept C9376300 @default.
- W3100702068 hasConceptScore W3100702068C110121322 @default.
- W3100702068 hasConceptScore W3100702068C11413529 @default.
- W3100702068 hasConceptScore W3100702068C114614502 @default.
- W3100702068 hasConceptScore W3100702068C124681953 @default.
- W3100702068 hasConceptScore W3100702068C126255220 @default.
- W3100702068 hasConceptScore W3100702068C127413603 @default.
- W3100702068 hasConceptScore W3100702068C127705205 @default.
- W3100702068 hasConceptScore W3100702068C134306372 @default.
- W3100702068 hasConceptScore W3100702068C178790620 @default.
- W3100702068 hasConceptScore W3100702068C182365436 @default.
- W3100702068 hasConceptScore W3100702068C185592680 @default.
- W3100702068 hasConceptScore W3100702068C194789388 @default.
- W3100702068 hasConceptScore W3100702068C199639397 @default.
- W3100702068 hasConceptScore W3100702068C33676613 @default.
- W3100702068 hasConceptScore W3100702068C33923547 @default.
- W3100702068 hasConceptScore W3100702068C41008148 @default.
- W3100702068 hasConceptScore W3100702068C9376300 @default.
- W3100702068 hasLocation W31007020681 @default.
- W3100702068 hasLocation W31007020682 @default.
- W3100702068 hasLocation W31007020683 @default.
- W3100702068 hasLocation W31007020684 @default.
- W3100702068 hasOpenAccess W3100702068 @default.
- W3100702068 hasPrimaryLocation W31007020681 @default.
- W3100702068 hasRelatedWork W1522517976 @default.
- W3100702068 hasRelatedWork W1607154928 @default.
- W3100702068 hasRelatedWork W1756885467 @default.
- W3100702068 hasRelatedWork W1981482516 @default.
- W3100702068 hasRelatedWork W2034983601 @default.
- W3100702068 hasRelatedWork W2080397230 @default.
- W3100702068 hasRelatedWork W2085026217 @default.
- W3100702068 hasRelatedWork W2170802669 @default.
- W3100702068 hasRelatedWork W2884576438 @default.