QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems

Ian Philip Gent, P Nightingale, K Stergiou, L.P. Kaelbling, A. Saffioti

Research output: Contribution to conference › Paper

48 Citations (Scopus)

Cite this

@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",

}