Deriving Explanations and Implications for Constraint Satisfaction Problems-Reference-Cited by-同舟云学术

Deriving Explanations and Implications for Constraint Satisfaction Problems

Published:2001 Issue: Volume: Page:585-589
ISSN:0302-9743
Container-title:Principles and Practice of Constraint Programming — CP 2001
language:
Short-container-title:

Author:

Freuder Eugene C.,Likitvivatanavong Chavalit,Wallace Richard J.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45578-7_44

Reference4 articles.

1. Dell. Dell Math Puzzles and Logic Problems. Dell Magazines, 2000.

2. K. D. Forbus and J. deKleer. Building Problem Solvers. MIT, Cambridge, MA, 1993.

3. E. C. Freuder, C. Likitvivatanavong, and R. J. Wallace. A case study in explanation and implication. In CP2000 Workshop on Analysis and Visualization of Constraint Programs and Solvers, 2000.

4. T Schiex and G. Verfaillie. Nogood recording for static and dynamic constraint satisfaction problems. Inter. J. Artific. Intell. Tools, 3:187–207, 1994.

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

1. Visualizations for User-supported State Space Exploration of Goal Models;2023 IEEE 31st International Requirements Engineering Conference (RE);2023-09

2. Progress towards the Holy Grail;Constraints;2017-10-07

3. A Short Introduction to Preferences: Between Artificial Intelligence and Social Choice;Synthesis Lectures on Artificial Intelligence and Machine Learning;2011-07-25

4. Semiring-Based Soft Constraints;Concurrency, Graphs and Models;2008

5. Useful Explanations;Principles and Practice of Constraint Programming – CP 2003;2003