{"data":{"id":"10.48550/arxiv.1405.6094","type":"dois","attributes":{"doi":"10.48550/arxiv.1405.6094","prefix":"10.48550","suffix":"arxiv.1405.6094","identifiers":[{"identifier":"1405.6094","identifierType":"arXiv"}],"alternateIdentifiers":[{"alternateIdentifierType":"arXiv","alternateIdentifier":"1405.6094"}],"creators":[{"name":"England, Matthew","nameType":"Personal","givenName":"Matthew","familyName":"England","affiliation":[],"nameIdentifiers":[]},{"name":"Bradford, Russell","nameType":"Personal","givenName":"Russell","familyName":"Bradford","affiliation":[],"nameIdentifiers":[]},{"name":"Davenport, James H.","nameType":"Personal","givenName":"James H.","familyName":"Davenport","affiliation":[],"nameIdentifiers":[]},{"name":"Wilson, David","nameType":"Personal","givenName":"David","familyName":"Wilson","affiliation":[],"nameIdentifiers":[]}],"titles":[{"title":"Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition"}],"publisher":"arXiv","container":{},"publicationYear":2014,"subjects":[{"lang":"en","subject":"Symbolic Computation (cs.SC)","subjectScheme":"arXiv"},{"subject":"FOS: Computer and information sciences","subjectScheme":"Fields of Science and Technology (FOS)"},{"subject":"FOS: Computer and information sciences","schemeUri":"http://www.oecd.org/science/inno/38235147.pdf","subjectScheme":"Fields of Science and Technology (FOS)"},{"lang":"en","subject":"I.1.2","subjectScheme":"ACM"},{"lang":"en","subject":"68W30, 03C10","subjectScheme":"MSC"}],"contributors":[],"dates":[{"date":"2014-05-23T15:18:19Z","dateType":"Submitted","dateInformation":"v1"},{"date":"2014-08-28T00:07:35Z","dateType":"Updated","dateInformation":"v1"},{"date":"2014-05","dateType":"Available","dateInformation":"v1"},{"date":"2014","dateType":"Issued"}],"language":null,"types":{"ris":"RPRT","bibtex":"article","citeproc":"article-journal","schemaOrg":"ScholarlyArticle","resourceType":"Article","resourceTypeGeneral":"Text"},"relatedIdentifiers":[{"relationType":"IsVersionOf","relatedIdentifier":"10.1007/978-3-662-44199-2_68","relatedIdentifierType":"DOI"}],"relatedItems":[],"sizes":[],"formats":[],"version":"1","rightsList":[{"rights":"arXiv.org perpetual, non-exclusive license","rightsUri":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/"}],"descriptions":[{"description":"Cylindrical algebraic decomposition (CAD) is a key tool for solving problems in real algebraic geometry and beyond. In recent years a new approach has been developed, where regular chains technology is used to first build a decomposition in complex space. We consider the latest variant of this which builds the complex decomposition incrementally by polynomial and produces CADs on whose cells a sequence of formulae are truth-invariant. Like all CAD algorithms the user must provide a variable ordering which can have a profound impact on the tractability of a problem. We evaluate existing heuristics to help with the choice for this algorithm, suggest improvements and then derive a new heuristic more closely aligned with the mechanics of the new algorithm.","descriptionType":"Abstract"}],"geoLocations":[],"fundingReferences":[],"xml":"PD94bWwgdmVyc2lvbj0iMS4wIiBlbmNvZGluZz0idXRmLTgiPz4KPHJlc291cmNlIHhtbG5zPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCIgeG1sbnM6eHNpPSJodHRwOi8vd3d3LnczLm9yZy8yMDAxL1hNTFNjaGVtYS1pbnN0YW5jZSIgeHNpOnNjaGVtYUxvY2F0aW9uPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCBodHRwOi8vc2NoZW1hLmRhdGFjaXRlLm9yZy9tZXRhL2tlcm5lbC00LjMvbWV0YWRhdGEueHNkIj4KICA8aWRlbnRpZmllciBpZGVudGlmaWVyVHlwZT0iRE9JIj4xMC40ODU1MC9BUlhJVi4xNDA1LjYwOTQ8L2lkZW50aWZpZXI+CiAgPGFsdGVybmF0ZUlkZW50aWZpZXJzPgogICAgPGFsdGVybmF0ZUlkZW50aWZpZXIgYWx0ZXJuYXRlSWRlbnRpZmllclR5cGU9ImFyWGl2Ij4xNDA1LjYwOTQ8L2FsdGVybmF0ZUlkZW50aWZpZXI+CiAgPC9hbHRlcm5hdGVJZGVudGlmaWVycz4KICA8Y3JlYXRvcnM+CiAgICA8Y3JlYXRvcj4KICAgICAgPGNyZWF0b3JOYW1lIG5hbWVUeXBlPSJQZXJzb25hbCI+RW5nbGFuZCwgTWF0dGhldzwvY3JlYXRvck5hbWU+CiAgICAgIDxnaXZlbk5hbWU+TWF0dGhldzwvZ2l2ZW5OYW1lPgogICAgICA8ZmFtaWx5TmFtZT5FbmdsYW5kPC9mYW1pbHlOYW1lPgogICAgPC9jcmVhdG9yPgogICAgPGNyZWF0b3I+CiAgICAgIDxjcmVhdG9yTmFtZSBuYW1lVHlwZT0iUGVyc29uYWwiPkJyYWRmb3JkLCBSdXNzZWxsPC9jcmVhdG9yTmFtZT4KICAgICAgPGdpdmVuTmFtZT5SdXNzZWxsPC9naXZlbk5hbWU+CiAgICAgIDxmYW1pbHlOYW1lPkJyYWRmb3JkPC9mYW1pbHlOYW1lPgogICAgPC9jcmVhdG9yPgogICAgPGNyZWF0b3I+CiAgICAgIDxjcmVhdG9yTmFtZSBuYW1lVHlwZT0iUGVyc29uYWwiPkRhdmVucG9ydCwgSmFtZXMgSC48L2NyZWF0b3JOYW1lPgogICAgICA8Z2l2ZW5OYW1lPkphbWVzIEguPC9naXZlbk5hbWU+CiAgICAgIDxmYW1pbHlOYW1lPkRhdmVucG9ydDwvZmFtaWx5TmFtZT4KICAgIDwvY3JlYXRvcj4KICAgIDxjcmVhdG9yPgogICAgICA8Y3JlYXRvck5hbWUgbmFtZVR5cGU9IlBlcnNvbmFsIj5XaWxzb24sIERhdmlkPC9jcmVhdG9yTmFtZT4KICAgICAgPGdpdmVuTmFtZT5EYXZpZDwvZ2l2ZW5OYW1lPgogICAgICA8ZmFtaWx5TmFtZT5XaWxzb248L2ZhbWlseU5hbWU+CiAgICA8L2NyZWF0b3I+CiAgPC9jcmVhdG9ycz4KICA8dGl0bGVzPgogICAgPHRpdGxlPkNob29zaW5nIGEgdmFyaWFibGUgb3JkZXJpbmcgZm9yIHRydXRoLXRhYmxlIGludmFyaWFudCBjeWxpbmRyaWNhbCBhbGdlYnJhaWMgZGVjb21wb3NpdGlvbiBieSBpbmNyZW1lbnRhbCB0cmlhbmd1bGFyIGRlY29tcG9zaXRpb248L3RpdGxlPgogIDwvdGl0bGVzPgogIDxwdWJsaXNoZXI+YXJYaXY8L3B1Ymxpc2hlcj4KICA8cHVibGljYXRpb25ZZWFyPjIwMTQ8L3B1YmxpY2F0aW9uWWVhcj4KICA8c3ViamVjdHM+CiAgICA8c3ViamVjdCB4bWw6bGFuZz0iZW4iIHN1YmplY3RTY2hlbWU9ImFyWGl2Ij5TeW1ib2xpYyBDb21wdXRhdGlvbiAoY3MuU0MpPC9zdWJqZWN0PgogICAgPHN1YmplY3Qgc3ViamVjdFNjaGVtZT0iRmllbGRzIG9mIFNjaWVuY2UgYW5kIFRlY2hub2xvZ3kgKEZPUykiPkZPUzogQ29tcHV0ZXIgYW5kIGluZm9ybWF0aW9uIHNjaWVuY2VzPC9zdWJqZWN0PgogICAgPHN1YmplY3QgeG1sOmxhbmc9ImVuIiBzdWJqZWN0U2NoZW1lPSJBQ00iPkkuMS4yPC9zdWJqZWN0PgogICAgPHN1YmplY3QgeG1sOmxhbmc9ImVuIiBzdWJqZWN0U2NoZW1lPSJNU0MiPjY4VzMwLCAwM0MxMDwvc3ViamVjdD4KICA8L3N1YmplY3RzPgogIDxkYXRlcz4KICAgIDxkYXRlIGRhdGVUeXBlPSJTdWJtaXR0ZWQiIGRhdGVJbmZvcm1hdGlvbj0idjEiPjIwMTQtMDUtMjNUMTU6MTg6MTlaPC9kYXRlPgogICAgPGRhdGUgZGF0ZVR5cGU9IlVwZGF0ZWQiIGRhdGVJbmZvcm1hdGlvbj0idjEiPjIwMTQtMDgtMjhUMDA6MDc6MzVaPC9kYXRlPgogICAgPGRhdGUgZGF0ZVR5cGU9IkF2YWlsYWJsZSIgZGF0ZUluZm9ybWF0aW9uPSJ2MSI+MjAxNC0wNTwvZGF0ZT4KICA8L2RhdGVzPgogIDxyZXNvdXJjZVR5cGUgcmVzb3VyY2VUeXBlR2VuZXJhbD0iVGV4dCI+QXJ0aWNsZTwvcmVzb3VyY2VUeXBlPgogIDxyZWxhdGVkSWRlbnRpZmllcnM+CiAgICA8cmVsYXRlZElkZW50aWZpZXIgcmVsYXRlZElkZW50aWZpZXJUeXBlPSJET0kiIHJlbGF0aW9uVHlwZT0iSXNWZXJzaW9uT2YiPjEwLjEwMDcvOTc4LTMtNjYyLTQ0MTk5LTJfNjg8L3JlbGF0ZWRJZGVudGlmaWVyPgogIDwvcmVsYXRlZElkZW50aWZpZXJzPgogIDx2ZXJzaW9uPjE8L3ZlcnNpb24+CiAgPHJpZ2h0c0xpc3Q+CiAgICA8cmlnaHRzIHJpZ2h0c1VSST0iaHR0cDovL2FyeGl2Lm9yZy9saWNlbnNlcy9ub25leGNsdXNpdmUtZGlzdHJpYi8xLjAvIj5hclhpdi5vcmcgcGVycGV0dWFsLCBub24tZXhjbHVzaXZlIGxpY2Vuc2U8L3JpZ2h0cz4KICA8L3JpZ2h0c0xpc3Q+CiAgPGRlc2NyaXB0aW9ucz4KICAgIDxkZXNjcmlwdGlvbiBkZXNjcmlwdGlvblR5cGU9IkFic3RyYWN0Ij5DeWxpbmRyaWNhbCBhbGdlYnJhaWMgZGVjb21wb3NpdGlvbiAoQ0FEKSBpcyBhIGtleSB0b29sIGZvciBzb2x2aW5nIHByb2JsZW1zIGluIHJlYWwgYWxnZWJyYWljIGdlb21ldHJ5IGFuZCBiZXlvbmQuIEluIHJlY2VudCB5ZWFycyBhIG5ldyBhcHByb2FjaCBoYXMgYmVlbiBkZXZlbG9wZWQsIHdoZXJlIHJlZ3VsYXIgY2hhaW5zIHRlY2hub2xvZ3kgaXMgdXNlZCB0byBmaXJzdCBidWlsZCBhIGRlY29tcG9zaXRpb24gaW4gY29tcGxleCBzcGFjZS4gV2UgY29uc2lkZXIgdGhlIGxhdGVzdCB2YXJpYW50IG9mIHRoaXMgd2hpY2ggYnVpbGRzIHRoZSBjb21wbGV4IGRlY29tcG9zaXRpb24gaW5jcmVtZW50YWxseSBieSBwb2x5bm9taWFsIGFuZCBwcm9kdWNlcyBDQURzIG9uIHdob3NlIGNlbGxzIGEgc2VxdWVuY2Ugb2YgZm9ybXVsYWUgYXJlIHRydXRoLWludmFyaWFudC4gTGlrZSBhbGwgQ0FEIGFsZ29yaXRobXMgdGhlIHVzZXIgbXVzdCBwcm92aWRlIGEgdmFyaWFibGUgb3JkZXJpbmcgd2hpY2ggY2FuIGhhdmUgYSBwcm9mb3VuZCBpbXBhY3Qgb24gdGhlIHRyYWN0YWJpbGl0eSBvZiBhIHByb2JsZW0uIFdlIGV2YWx1YXRlIGV4aXN0aW5nIGhldXJpc3RpY3MgdG8gaGVscCB3aXRoIHRoZSBjaG9pY2UgZm9yIHRoaXMgYWxnb3JpdGhtLCBzdWdnZXN0IGltcHJvdmVtZW50cyBhbmQgdGhlbiBkZXJpdmUgYSBuZXcgaGV1cmlzdGljIG1vcmUgY2xvc2VseSBhbGlnbmVkIHdpdGggdGhlIG1lY2hhbmljcyBvZiB0aGUgbmV3IGFsZ29yaXRobS48L2Rlc2NyaXB0aW9uPgogIDwvZGVzY3JpcHRpb25zPgo8L3Jlc291cmNlPg==","url":"https://arxiv.org/abs/1405.6094","contentUrl":null,"metadataVersion":0,"schemaVersion":"http://datacite.org/schema/kernel-4","source":"mds","isActive":true,"state":"findable","reason":null,"viewCount":0,"viewsOverTime":[],"downloadCount":0,"downloadsOverTime":[],"referenceCount":0,"citationCount":0,"citationsOverTime":[],"partCount":0,"partOfCount":0,"versionCount":0,"versionOfCount":0,"created":"2022-03-10T06:22:18.000Z","registered":"2022-03-10T06:22:19.000Z","published":"2014","updated":"2022-03-10T06:22:19.000Z"},"relationships":{"client":{"data":{"id":"arxiv.content","type":"clients"}},"provider":{"data":{"id":"arxiv","type":"providers"}},"media":{"data":{"id":"10.48550/arxiv.1405.6094","type":"media"}},"references":{"data":[]},"citations":{"data":[]},"parts":{"data":[]},"partOf":{"data":[]},"versions":{"data":[]},"versionOf":{"data":[]}}}}