QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems

Research output: Contribution to conference › Paper

Handle.net

@conference{022faf7b511f4ceaa3f941e3b09404fb,

title = "QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems",

author = "Gent, \{Ian Philip\} and P Nightingale and K Stergiou and L.P. Kaelbling and A. Saffioti",

note = "19th International Joint Conference on Artificial Intelligence",

year = "2005",

month = aug,

language = "English",

pages = "6",

}