Neighborhood-based variable ordering heuristics for the constraint satisfaction problem, CP. pp, pp.565-569, 2001. ,
MAC and Combined Heuristics: Two Reasons to Forsake FC (and CBJ?) on Hard Problems, CP. pp, pp.61-75, 1996. ,
Boosting systematic search by weighting constraints, ECAI. pp, pp.146-150, 2004. ,
New Methods to Color Vertices of a Graph, Communications of the ACM, vol.22, issue.4, pp.251-256, 1979. ,
An Extensible SAT-solver, SAT. pp, pp.502-518, 2003. ,
Dual viewpoint heuristics for binary constraint satisfaction problems, ECAI. pp, pp.31-35, 1992. ,
Backtrack programming, Journal of the ACM, vol.12, pp.516-524, 1965. ,
Increasing tree search efficiency for constraint satisfaction problems, AIJ, vol.14, pp.263-313, 1980. ,
Explanation-based weighted degree, CPAIOR. pp, pp.167-175, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01670307
Towards a Dynamic Decomposition of CSPs with Separators of Bounded Size, CP. pp, pp.298-315, 2016. ,
, BTD and miniBTD. In: XCSP3 Competition, 2017.
Hybrid backtracking bounded by tree-decomposition of constraint networks, AIJ, vol.146, pp.43-75, 2003. ,
Nogood recording from restarts, IJCAI. pp, pp.131-136, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00143825
, Recording and Minimizing Nogoods from Restarts. JSAT, vol.1, issue.3-4, pp.147-167, 2007.
Exponential Recency Weighted Average Branching Heuristic for SAT Solvers, AAAI. pp, pp.3434-3440, 2016. ,
Learning Rate Based Branching Heuristic for SAT Solvers, SAT. pp, pp.123-140, 2016. ,
Grasp: A search algorithm for propositional satisfiability, IEEE Transactions on Computers, vol.48, issue.5, pp.506-521, 1999. ,
Activity-based search for black-box constraint programming solvers, CPAIOR. pp, pp.228-243, 2012. ,
Chaff: Engineering an Efficient SAT Solver, DAC. pp, pp.530-535, 2001. ,
Impact-based search strategies for constraint programming, CP. pp, pp.557-571, 2004. ,
, Handbook of Constraint Programming, vol.2, 2006.
, Contradicting Conventional Wisdom in Constraint Satisfaction. In: ECAI. pp, pp.125-129, 1994.
Programming branchers, Modeling and Programming with Gecode, 2018. ,
Reinforcement Learning: An Introduction, 1998. ,