scientific article; zbMATH DE number 2080550

zbMATH Open1051.68669MaRDI QIDQ4473379FDOQ4473379

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

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

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

Mathematics Subject Classification ID

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

Cited In (10)

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

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)