scientific article; zbMATH DE number 2084739

MaRDI QIDQ4475670zbMATH OpenFDO

Authors Laurent Granvilliers, Eric Monfroy

Publication date 9 August 2004

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

Mathematics Subject Classification ID

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

Recommendations

• Logic Programming
• scientific article; zbMATH DE number 2080331
• The essence of constraint propagation
• scientific article; zbMATH DE number 1234564
• scientific article; zbMATH DE number 1234562

Cited in

(6)

• The essence of constraint propagation
• Constraint propagation for first-order logic and inductive definitions
• scientific article; zbMATH DE number 2084731 (Why is no real title available?)
• Logic Programming
• Constraint propagation on quadratic constraints
• Symbolic interval inference approach for subdivision direction selection in interval partitioning algorithms

Describes a project that uses

Uses Software

• Choco

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