{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:03:38Z","timestamp":1742911418278,"version":"3.40.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319083889"},{"type":"electronic","value":"9783319083896"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-08389-6_16","type":"book-chapter","created":{"date-parts":[[2014,7,17]],"date-time":"2014-07-17T10:43:39Z","timestamp":1405593819000},"page":"188-201","source":"Crossref","is-referenced-by-count":0,"title":["Efficient Representation of Extensional Constraints"],"prefix":"10.1007","author":[{"given":"Cristian","family":"Fr\u0103sinaru","sequence":"first","affiliation":[]},{"given":"Florentin","family":"Olariu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Bessiere, C.: Constraint Propagation. In: Rossi, F., van Beek, P., Walsh, T. (eds.) Handbook of Constraint Programming, ch. 7. Elsevier (2006)","DOI":"10.1016\/S1574-6526(06)80007-6"},{"key":"16_CR2","unstructured":"Bessiere, C., Regin, J.C.: Arc consistency for general constraint networks: Preliminary results. In: IJCAI (1), pp. 398\u2013404 (1997)"},{"key":"16_CR3","unstructured":"Dechter, R.: Constraint processing. Elsevier Morgan Kaufmann (2003)"},{"key":"16_CR4","unstructured":"Frasinaru, C.: Omnics solver (2013), \n                      http:\/\/profs.info.uaic.ro\/~acf\/omnics"},{"issue":"9","key":"16_CR5","doi-asserted-by":"publisher","first-page":"490","DOI":"10.1145\/367390.367400","volume":"3","author":"E. Fredkin","year":"1960","unstructured":"Fredkin, E.: Trie memory. Commun. ACM\u00a03(9), 490\u2013499 (1960), \n                      http:\/\/doi.acm.org\/10.1145\/367390.367400","journal-title":"Commun. ACM"},{"key":"16_CR6","unstructured":"Gent, I.P.: Minion solver (2007), \n                      http:\/\/minion.sourceforge.net\/index.html"},{"key":"16_CR7","unstructured":"Gent, I.P., Jefferson, C., Miguel, I., Nightingale, P.: Data structures for generalised arc consistency for extensional constraints. In: AAAI, pp. 191\u2013197. AAAI Press (2007), \n                      http:\/\/dblp.uni-trier.de\/db\/conf\/aaai\/aaai2007.html#GentJMN07"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"van Hoeve, W.J., Katriel, I.: Global constraints. In: Rossi, F., van Beek, P., Walsh, T. (eds.) Handbook of Constraint Programming, ch. 7. Elsevier (2006)","DOI":"10.1016\/S1574-6526(06)80010-6"},{"key":"16_CR9","unstructured":"IBM: ILOG CPLEX Solver (2009), \n                      http:\/\/www-01.ibm.com\/software\/commerce\/optimization\/cplex-optimizer"},{"key":"16_CR10","unstructured":"Laburthe, F., Jussien, N.: Choco solver (2012), \n                      http:\/\/www.emn.fr\/z-info\/choco-solver"},{"issue":"1","key":"16_CR11","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A. Mackworth","year":"1977","unstructured":"Mackworth, A.: Consistency in networks of relations. Artificial Intelligence\u00a08(1), 99\u2013118 (1977)","journal-title":"Artificial Intelligence"},{"key":"16_CR12","unstructured":"Rossi, F., van Beek, P., Walsh, T. (eds.): Handbook of Constraint Programming. Elsevier (2006)"},{"key":"16_CR13","unstructured":"Roussel, O., Lecoutre, C.: XML representation of constraint networks: Format XCSP 2.1. CoRR abs\/0902.2362 (2009), \n                      http:\/\/dblp.uni-trier.de\/db\/journals\/corr\/corr0902.html#abs-0902-2362"},{"key":"16_CR14","unstructured":"Tsang, E.P.K.: Foundations of constraint satisfaction. Computation in cognitive science. Academic Press (1993)"},{"key":"16_CR15","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/BF00143881","volume":"1","author":"M. Wallace","year":"1996","unstructured":"Wallace, M.: Practical applications of constraint programming. Constraints\u00a01, 139\u2013168 (1996)","journal-title":"Constraints"}],"container-title":["Lecture Notes in Computer Science","Graph-Based Representation and Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08389-6_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T05:24:13Z","timestamp":1676870653000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-08389-6_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319083889","9783319083896"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08389-6_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}