Filtering atmost1 on pairs of set variables

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5015 LNCS, Issue , 2008, Pages 382-386

  Van Hoeve, Willem Jan ^a   Sabharwal, Ashish ^b  

^a CARNEGIE MELLON UNIVERSITY   (United States)

^b Cornell University ^*

Author keywords

[No Author keywords available]

Indexed keywords

EID: 44649176540     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68155-7_42     Document Type: Conference Paper

References (5)

1. Bessiere, C., Hebrard, E., Hnich, B., Walsh, T.: Disjoint, partition and intersection constraints for set and multiset variables. In: Wallace, M. (ed.) CP 2004. LNCS, vol. 3258, pp. 138-152. Springer, Heidelberg (2004)
2. Fahle, T., Sehamberger, S., Sellmann, M.: Symmetry breaking. In: Walsh, T. (ed.) CP 2001. LNCS, vol. 2239, pp. 93-107. Springer, Heidelberg (2001)
3. Gervet, C.: Constraints over structured domains. In: Rossi, F., van Beek, P., Walsh, T. (eds.) Handbook of Constraint Programming, Elsevier, Amsterdam (2006)
4. Régin, J.-C.: Generalized arc consistency for global cardinality constraint. In: AAAI 1996, vol. 1, pp. 209-215 (1996)
5. Sadler, A., Gervet, C.: Global reasoning on sets. In: Proc. of Workshop on Modelling and Problem Formulation (FORMUL 2001) (2001)