Quantified constraints: algorithms and complexity
Ferdinand Börner‚ Andrei Bulatov‚ Peter Jeavons and Andrei Krokhin
Book Title
Proceedings of CSL'03
Note
Longer version available as an OUCL Research Report: http://web.comlab.ox.ac.uk/oucl/publications/tr/rr-02-11.html
Number
2803
Pages
58–70
Series
Lecture Notes in Computer Science
Year
2003