Boosting systematic search by weighting constraints, ECAI, pp.146-150, 2004. ,
Conflict History based Search for Constraint Satisfaction Problem, SAC, pp.1117-1122, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02090618
, 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.3434-3440, 2016. ,
Activity-based search for black-box constraint programming solvers, pp.228-243, 2012. ,