Conflict history based search for constraint satisfaction problem-Reference-Cited by-同舟云学术

Conflict history based search for constraint satisfaction problem

Published:2019-04-08 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing
language:
Short-container-title:

Author:

Habet Djamal¹,Terrioux Cyril¹

Affiliation:

1. Université de Toulon, Marseille, France

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3297280.3297389

Reference24 articles.

1. Christian Bessiere Assef Chmeiss and Lakhdar Sais. 2001. Neighborhood-based variable ordering heuristics for the constraint satisfaction problem. In CP. 565--569. Christian Bessiere Assef Chmeiss and Lakhdar Sais. 2001. Neighborhood-based variable ordering heuristics for the constraint satisfaction problem. In CP. 565--569.

2. Christian Bessière and Jean-Charles Régin. 1996. MAC and Combined Heuristics: Two Reasons to Forsake FC (and CBJ?) on Hard Problems. In CP. 61--75. 10.1007/3-540-61551-2_66 Christian Bessière and Jean-Charles Régin. 1996. MAC and Combined Heuristics: Two Reasons to Forsake FC (and CBJ?) on Hard Problems. In CP. 61--75. 10.1007/3-540-61551-2_66

3. Frédéric Boussemart Fred Hemery Christophe Lecoutre and Lakhdar Saïs. 2004. Boosting Systematic Search by Weighting Constraints. In ECAI. 146--150. Frédéric Boussemart Fred Hemery Christophe Lecoutre and Lakhdar Saïs. 2004. Boosting Systematic Search by Weighting Constraints. In ECAI. 146--150.

4. New methods to color the vertices of a graph

5. Niklas Eén and Niklas Sörensson. 2003. An Extensible SAT-solver. In SAT. 502--518. Niklas Eén and Niklas Sörensson. 2003. An Extensible SAT-solver. In SAT. 502--518.

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Conflict history based heuristic for constraint satisfaction problem solving;Journal of Heuristics;2021-06-30

2. On the Refinement of Conflict History Search Through Multi-Armed Bandit;2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI);2020-11

3. Refining Constraint Weighting;2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI);2019-11