Building tractable disjunctive constraints
David Cohen‚ Peter Jeavons‚ Peter Jonsson and Manolis Koubarakis
Journal
Journal of the ACM
Number
47
Pages
826–853
Year
2000
David Cohen‚ Peter Jeavons‚ Peter Jonsson and Manolis Koubarakis