Optimisation techniques for combing constraint solvers

MaRDI QIDQ2782489zbMATH OpenFDO

Authors Jörn Richts, Stephan Kepser

Publication date 3 April 2002

zbMATH Keywords

constraint solversdeductive method

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1094771
• scientific article; zbMATH DE number 2086995
• Combination of constraint solving techniques: An algebraic point of view
• scientific article; zbMATH DE number 2086591
• Constraint-based analysis of composite solvers
• Logic Based Program Synthesis and Transformation
• scientific article; zbMATH DE number 1688811
• scientific article; zbMATH DE number 1550909

Cited in

(6)

• Implicit constraints handling for efficient search of feasible solutions
• The DeltaUp constraint solver: Minimizing the number of method selections in DeltaBlue
• scientific article; zbMATH DE number 2087094 (Why is no real title available?)
• A Scalable Inclusion Constraint Solver Using Unification
• Logic Based Program Synthesis and Transformation
• Combination of constraint systems II: Rational amalgamation

This page was built for publication: Optimisation techniques for combing constraint solvers

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