The DeltaUp constraint solver: Minimizing the number of method selections in DeltaBlue

DOI10.1002/SPE.421MaRDI QIDQ2758782zbMATH OpenOpenAlexFDO

Authors Tetsuya Suzuki, Takehiro Tokuda

Publication date 10 December 2001

Published in Software. Practice \& Experience (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/spe.421

zbMATH Keywords

DeltaBlue constraint solverDeltaUp

Mathematics Subject Classification ID

Computing methodologies and applications (68U99)

Recommendations

• A foundation of solution methods for constraint hierarchies
• A methodological view of constraint solving
• Optimisation techniques for combing constraint solvers
• A unified framework for partial and hybrid search methods in constraint programming
• Logic Based Program Synthesis and Transformation
• Validated constraints solving --- practicalities, pitfalls, and new developments
• A synthesis of constraint satisfaction and constraint solving
• scientific article; zbMATH DE number 4156221

This page was built for publication: The DeltaUp constraint solver: Minimizing the number of method selections in DeltaBlue

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