Quantified constraints: Algorithms and complexity

Boerner, F.; Bulatov, A.; Jeavons, P.; Krokhin, A.

Quantified constraints: Algorithms and complexity

Boerner, F.; Bulatov, A.; Jeavons, P.; Krokhin, A.

Authors

F. Boerner

A. Bulatov

P. Jeavons

Professor Andrei Krokhin andrei.krokhin@durham.ac.uk
Professor

Contributors

M. Baaz
Editor

J.A. Makowsky
Editor

Citation

Boerner, F., Bulatov, A., Jeavons, P., & Krokhin, A. (2003, December). Quantified constraints: Algorithms and complexity. Presented at 17th International Workshop on Computer Science Logic

Presentation Conference Type	Conference Paper (published)
Conference Name	17th International Workshop on Computer Science Logic
Publication Date	2003
Print ISSN	0302-9743
Publisher	Springer Verlag
Volume	2803
Pages	58-70
Series Title	Lecture Notes in Computer Science
Public URL	https://durham-repository.worktribe.com/output/1163664