scientific article; zbMATH DE number 2084736

zbMATH Open1067.68634MaRDI QIDQ4475666FDOQ4475666

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

Publication date: 9 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2239/22390585.htm

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 7368415
• Generating Corrective Explanations for Interactive Constraint Satisfaction
• A framework for step-wise explaining how to solve constraint satisfaction problems
• The logic of constraint satisfaction
• Computing Explanations for the Unary Resource Constraint

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Cited In (10)

• Title not available (Why is that?)
• Identifying and Exploiting Problem Structures Using Explanation-Based Constraint Programming
• Progress towards the Holy Grail
• A SAT-based approach to learn explainable decision sets
• Generating Corrective Explanations for Interactive Constraint Satisfaction
• A framework for step-wise explaining how to solve constraint satisfaction problems
• Efficiently explaining CSPs with unsatisfiable subset optimization
• Computing Explanations for the Unary Resource Constraint
• Semiring-Based Soft Constraints
• Identifying and exploiting problem structures using explanation-based constraint programming

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4475666)