{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:56:05Z","timestamp":1725558965009},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540250791"},{"type":"electronic","value":"9783540318453"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31845-3_17","type":"book-chapter","created":{"date-parts":[[2010,7,5]],"date-time":"2010-07-05T19:43:57Z","timestamp":1278359037000},"page":"200-210","source":"Crossref","is-referenced-by-count":0,"title":["Solving CSP Including a Universal Quantification"],"prefix":"10.1007","author":[{"given":"Renaud","family":"De Landtsheer","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/3-540-45349-0_7","volume-title":"Principles and Practice of Constraint Programming - CP 2000","author":"F. Benhamou","year":"2000","unstructured":"Benhamou, F., Goualard, F.: Universally quantified interval constraints. In: Dechter, R. (ed.) CP 2000. LNCS, vol.\u00a01894, pp. 67\u201382. Springer, Heidelberg (2000)"},{"key":"17_CR2","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1145\/309847.309942","volume-title":"Proceedings of the 36th ACM\/IEEE conference on Design automation","author":"A. Biere","year":"1999","unstructured":"Biere, A., Cimatti, A., Clarke, E.M., Fujita, M., Zhu, Y.: Symbolic model checking using sat procedures instead of bdds. In: Proceedings of the 36th ACM\/IEEE conference on Design automation, New Orleans, Louisiana, United States, pp. 317\u2013320. ACM Press, New York (1999)"},{"key":"17_CR3","volume-title":"Black-box testing - Techniques for functional testing of software and systems","author":"B. Boris","year":"1995","unstructured":"Boris, B.: Black-box testing - Techniques for functional testing of software and systems. John Wiley & Sons, Chichester (1995)"},{"key":"17_CR4","unstructured":"Golden, K., Frank, J.: Universal quantification in a constraint-based planner. In: AIPS 2002 (2002)"},{"key":"17_CR5","volume-title":"Concepts, Techniques, and Models of Computer Programming","author":"P. Roy Van","year":"2004","unstructured":"Van Roy, P., Haridi, S.: Concepts, Techniques, and Models of Computer Programming. MIT Press, Cambridge (2004) ISBN 0-262-22069-5"},{"key":"17_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45945-6","volume-title":"Programming Constraint Services","author":"C. Schulte","year":"2002","unstructured":"Schulte, C.: Programming Constraint Services. LNCS (LNAI), vol.\u00a02302. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Multiparadigm Programming in Mozart\/Oz"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31845-3_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,20]],"date-time":"2019-03-20T12:48:27Z","timestamp":1553086107000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31845-3_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540250791","9783540318453"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31845-3_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}