QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems

By Anonymous - Posted on 12 January 2010

TitleQCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems
Publication TypeConference Paper
Year of Publication2005
AuthorsGent I, Nightingale P, Stergiou K
EditorGent I
Conference NameNineteenth International Joint Conference on Artificial Intelligence (IJCAI-2005)
Date Published00/2005

Events

« November 2019 »
SunMonTueWedThuFriSat
12
3456789
10111213141516
17181920212223
24252627282930

User login

CAPTCHA
This question is for testing whether you are a human visitor and to prevent automated spam submissions.
7 + 1 =
Solve this simple math problem and enter the result. E.g. for 1+3, enter 4.

How to Contact Us

If you have any question or comments, feel free to contact us.
voice:+30 2273 0 82226
fax:+30 2273 0 82229