Neighborhood-based variable ordering heuristics for the constraint satisfaction problem, CP, pp.565-569, 2001. ,
MAC and Combined Heuristics: Two Reasons to Forsake FC (and CBJ?) on Hard Problems, CP, pp.61-75, 1996. ,
Boosting systematic search by weighting constraints, ECAI, 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.502-518, 2003. ,
Dual viewpoint heuristics for binary constraint satisfaction problems, ECAI, 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.167-175, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01670307
Towards a Dynamic Decomposition of CSPs with Separators of Bounded Size, CP, pp.298-315, 2016. ,
BTD and miniBTD, 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.131-136, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00261264
Recording and Minimizing Nogoods from Restarts, JSAT, vol.1, issue.3-4, pp.147-167, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00191092
Exponential Recency Weighted Average Branching Heuristic for SAT Solvers, AAAI, pp.3434-3440, 2016. ,
Learning Rate Based Branching Heuristic for SAT Solvers, SAT, 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.228-243, 2012. ,
Chaff: Engineering an Efficient SAT Solver, DAC, pp.530-535, 2001. ,
Impact-based search strategies for constraint programming, CP, pp.557-571, 2004. ,
Handbook of Constraint Programming, Foundations of Artificial Intelligence, vol.2, 2006. ,
Contradicting Conventional Wisdom in Constraint Satisfaction, ECAI, pp.125-129, 1994. ,
Modeling and Programming with Gecode, 2018. ,
Reinforcement Learning: An Introduction, 1998. ,