Lazy Explanations for Constraint Propagators-Reference-Cited by-同舟云学术

Lazy Explanations for Constraint Propagators

Published:2010 Issue: Volume: Page:217-233
ISSN:0302-9743
Container-title:Practical Aspects of Declarative Languages
language:
Short-container-title:

Author:

Gent Ian P.,Miguel Ian,Moore Neil C. A.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-11503-5_19.pdf

Reference32 articles.

1. Boussemart, F., Hemery, F., Lecoutre, C., Sais, L.: Boosting systematic search by weighting constraints. In: ECAI 2004, August 2004, pp. 482–486 (2004)

2. Lecture Notes in Computer Science;H. Cambazard,2005

3. Choi, C.W., Harvey, W., Lee, J.H.-M., Stuckey, P.J.: Finite domain bounds consistency revisited. In: Australian Conference on Artificial Intelligence, pp. 49–58 (2006)

4. Dechter, R.: Enhancement schemes for constraint processing: backjumping, learning, and cutset decomposition. Artif. Intell. 41(3), 273–312 (1990)

5. Frost, D., Dechter, R.: Dead-end driven learning. In: AAAI 1994, vol. 1, pp. 294–300. AAAI Press, Menlo Park (1994)

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

1. Wombit: A Portfolio Bit-Vector Solver Using Word-Level Propagation;Journal of Automated Reasoning;2018-11-08

2. Extending SMT solvers with support for finite domain alldifferent constraint;Constraints;2015-11-16

3. A Parallel, Backjumping Subgraph Isomorphism Algorithm Using Supplemental Graphs;Lecture Notes in Computer Science;2015

4. Learning General Constraints in CSP;Integration of AI and OR Techniques in Constraint Programming;2015

5. Explanation-based large neighborhood search;Constraints;2014-07-20