{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:25:11Z","timestamp":1725495911376},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540770008"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-77002-2_53","type":"book-chapter","created":{"date-parts":[[2007,11,16]],"date-time":"2007-11-16T10:22:54Z","timestamp":1195208574000},"page":"633-644","source":"Crossref","is-referenced-by-count":0,"title":["GRASPER"],"prefix":"10.1007","author":[{"given":"Ruben","family":"Viegas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francisco","family":"Azevedo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"53_CR1","volume-title":"Foundations of Constraint Satisfaction","author":"E. Tsang","year":"1993","unstructured":"Tsang, E.: Foundations of Constraint Satisfaction. Academic Press, London (1993)"},{"key":"53_CR2","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5625.001.0001","volume-title":"Programming with Constraints: An introduction","author":"K. Marriot","year":"1998","unstructured":"Marriot, K., Stuckey, P.: Programming with Constraints: An introduction. MIT Press, Cambridge (1998)"},{"key":"53_CR3","volume-title":"Constraint Processing","author":"R. Dechter","year":"2003","unstructured":"Dechter, R.: Constraint Processing. Morgan Kaufmann, San Francisco (2003)"},{"key":"53_CR4","unstructured":"Puget, J.-F.: Pecos: A high level constraint programming language. In: Proc. Spicis (1992)"},{"key":"53_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/11564751_18","volume-title":"CP 2005","author":"G. Dooms","year":"2005","unstructured":"Dooms, G., Deville, Y., Dupont, P.: CP(Graph): Intoducing a graph computation domain in constraint programming. In: van Beek, P. (ed.) CP 2005. LNCS, vol.\u00a03709, pp. 211\u2013225. Springer, Heidelberg (2005)"},{"key":"53_CR6","doi-asserted-by":"crossref","unstructured":"Dooms, G.: The CP(Graph) Computation Domain in Constraint Programming. PhD thesis, Facult\u00e9 des Sciences Appliqu\u00e9es, Universit\u00e9 Catholique de Louvain (2006)","DOI":"10.1007\/11564751_18"},{"key":"53_CR7","series-title":"Graduate Texts in Mathematics","volume-title":"Graph Theory","year":"2005","unstructured":"Diestel, R. (ed.): Graph Theory, 3rd edn. Graduate Texts in Mathematics, vol.\u00a0173. Springer, Heidelberg (2005)","edition":"3"},{"key":"53_CR8","doi-asserted-by":"crossref","DOI":"10.21236\/AD0705364","volume-title":"Graph Theory","author":"F. Harary","year":"1969","unstructured":"Harary, F.: Graph Theory. Addison-Wesley, Reading (1969)"},{"key":"53_CR9","series-title":"Network Theory and Applications","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8698-6","volume-title":"Theory and Application of Graphs","author":"J. Xu","year":"2003","unstructured":"Xu, J.: Theory and Application of Graphs. In: Network Theory and Applications, vol.\u00a010. Kluwer Academic, Dordrecht (2003)"},{"issue":"1","key":"53_CR10","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/s10601-006-9012-6","volume":"12","author":"F. Azevedo","year":"2007","unstructured":"Azevedo, F.: Cardinal: A finite sets constraint solver. Constraints journal\u00a012(1), 93\u2013129 (2007)","journal-title":"Constraints journal"},{"key":"53_CR11","unstructured":"Correia, M., Barahona, P., Azevedo, F.: CaSPER: A programming environment for development and integration of constraint solvers. In: Azevedo, et al. (eds.) BeyondFD 2005. Proc. of the 1st Int. Workshop on Constraint Programming Beyond Finite Integer Domains, pp. 59\u201373 (2005)"},{"key":"53_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1007\/3-540-51084-2_2","volume-title":"Symbolic and Algebraic Computation","author":"D. Musser","year":"1989","unstructured":"Musser, D., Stepanov, A.: Generic programming. In: Gianni, P. (ed.) Symbolic and Algebraic Computation. LNCS, vol.\u00a0358, pp. 13\u201325. Springer, Heidelberg (1989)"},{"issue":"3","key":"53_CR13","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/BF00137870","volume":"1","author":"C. Gervet","year":"1997","unstructured":"Gervet, C.: Interval propagation to reason about sets: Definition and implementation of a practical language. Constraints journal\u00a01(3), 191\u2013244 (1997)","journal-title":"Constraints journal"},{"key":"53_CR14","unstructured":"Viegas, R., Azevedo, F.: GRASPER: a framework for graph CSPs. In: ModRef 2007. 6th Int. Workshop On Constraint Modelling and Reformulation (2007)"},{"key":"53_CR15","unstructured":"Mathews, C., Van Holde, K.: Biochemistry, 2nd edn. Benj.\/Cumm. (1996)"},{"key":"53_CR16","volume-title":"Introduction to bioinformatics","author":"T. Attwood","year":"1999","unstructured":"Attwood, T., Parry-Smith, D.: Introduction to bioinformatics. Prent. Hall, Englewood Cliffs (1999)"},{"key":"53_CR17","volume-title":"Introduction to Algorithms","author":"T. Cormen","year":"2001","unstructured":"Cormen, T., Leiserson, C., Rivest, R., Stein, C.: Introduction to Algorithms, 2nd edn. MIT Press, Cambridge (2001)","edition":"2"},{"key":"53_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"694","DOI":"10.1007\/978-3-540-45193-8_47","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2003","author":"M. Sellmann","year":"2003","unstructured":"Sellmann, M.: Cost-based filtering for shorter path constraints. In: Rossi, F. (ed.) CP 2003. LNCS, vol.\u00a02833, pp. 694\u2013708. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Progress in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77002-2_53.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:52:32Z","timestamp":1619506352000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77002-2_53"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540770008"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77002-2_53","relation":{},"subject":[]}}