{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:03:35Z","timestamp":1725483815715},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441205"},{"type":"electronic","value":"9783540461357"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46135-3_45","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T01:59:47Z","timestamp":1179194387000},"page":"680-685","source":"Crossref","is-referenced-by-count":1,"title":["Continuous First-Order Constraint Satisfaction with Equality and Disequality Constraints"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Ratschan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,2]]},"reference":[{"key":"45_CR1","series-title":"Lect Notes Comput Sci","volume-title":"Proc. of the Sixth Intl. Conf. on Principles and Practice of Constraint Programming (CP\u20192000)","author":"F. Benhamou","year":"2000","unstructured":"F. Benhamou and F. Goualard. Universally quantified interval constraints. In Proc. of the Sixth Intl. Conf. on Principles and Practice of Constraint Programming (CP\u20192000), number 1894 in LNCS, Singapore, 2000. Springer Verlag."},{"key":"45_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/3-540-07407-4_17","volume-title":"Second GI Conf. Automata Theory and Formal Languages","author":"G. E. Collins","year":"1975","unstructured":"G. E. Collins. Quantifier elimination for the elementary theory of real closed fields by cylindrical algebraic decomposition. In B. F. Caviness and J. R. Johnson, editors, Second GI Conf. Automata Theory and Formal Languages, volume 33 of LNCS, pages 134\u2013183. Springer Verlag, Wien, 1975."},{"key":"45_CR3","volume-title":"Interval Methods for Systems of Equations","author":"A. Neumaier","year":"1990","unstructured":"A. Neumaier. Interval Methods for Systems of Equations. Cambridge Univ. Press, Cambridge, 1990."},{"key":"45_CR4","unstructured":"S. Ratschan. Applications of real first-order constraint solving \u2014 bibliography. \n                    http:\/\/www.risc.uni-linz.ac.at\/people\/sratscha\/appFOC.html\n                    \n                  , 2001."},{"key":"45_CR5","series-title":"Lect Notes Comput Sci","volume-title":"Artificial Intelligence, Automated Reasoning, and Symbolic Computation","author":"S. Ratschan","year":"2002","unstructured":"S. Ratschan. Continuous first-order constraint satisfaction. In Artificial Intelligence, Automated Reasoning, and Symbolic Computation, number 2385 in LNCS. Springer, 2002."}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming - CP 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46135-3_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,10,10]],"date-time":"2018-10-10T01:13:58Z","timestamp":1539134038000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46135-3_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441205","9783540461357"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/3-540-46135-3_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2002]]}}}