Guillaume Verger's home page

Publications

Guiding Search in QCSP+ with Back-Propagation
G. Verger and C. Bessiere PDF
Proceedings of CP'08 BIBTEX

BlockSolve: a Bottom-Up Approach for Solving Quantified CSPs
G. Verger and C. Bessiere PDF
Proceedings of CP'06 BIBTEX
Strategic Constraint Satisfaction Problems (Workshop)
C. Bessiere and G. Verger PDF
Proceedings of CP'06 Workshop on Modelling and Reformulation BIBTEX
BlockSolve: a Bottom-Up Approach for Solving Quantified CSPs (Short Paper)
G. Verger and C. Bessiere PDF
Proceedings of CP-PHD'06 BIBTEX
BlockSolve : une approche bottom-up des QCSP (in french)
G. Verger and C. Bessiere PDF
Proceedings of JFPC'06 BIBTEX