scientific article; zbMATH DE number 2080550

MaRDI QIDQ4473379zbMATHFDO

Authors Laurent Granvilliers, Eric Monfroy

Publication date 4 August 2004

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

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 2080331
• scientific article; zbMATH DE number 1234564
• The essence of constraint propagation
• Logic Programming
• Generalized support and formal development of constraint propagators

Cited in

(10)

• Integration of declarative and constraint programming
• A modeling layer for constraint-programming libraries
• Propagation engine prototyping with a domain specific language
• scientific article; zbMATH DE number 2080331 (Why is no real title available?)
• Logic Programming
• Constraint based strategies
• A declarative modeling framework that integrates solution methods
• Principles and Practice of Constraint Programming – CP 2004
• Formal model-based constraint solving and document generation
• An Analysis of Slow Convergence in Interval Propagation

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 Q4473379)