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 conferencePaper

47 Citations (Scopus)
Original languageEnglish
Pages6
Number of pages6
Publication statusPublished - Aug 2005

Cite this