Integration and optimization of rule-based constraint solvers

DOI10.1007/978-3-540-25938-1_17MaRDI QIDQ5713942zbMATH OpenOpenAlexFDO

Authors Slim Abdennadher, Thom Frühwirth

Publication date 27 December 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b98080

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Theory and practice of constraint handling rules
• Optimisation techniques for combing constraint solvers
• Constraint handling rules and tabled execution
• Logic Programming
• Confluence and semantics of constraint simplification rules

Cited in

(9)

• The DeltaUp constraint solver: Minimizing the number of method selections in DeltaBlue
• Optimisation techniques for combing constraint solvers
• Exhaustive Execution of CHR Through Source-to-Source Transformation
• Constructing Rule-Based Solvers for Intentionally-Defined Constraints
• Constraint answer set solver EZCSP and why integration schemas matter
• On proving confluence modulo equivalence for Constraint Handling Rules
• Automatic generation of rule-based constraint solvers over finite domains
• Generation of Rule-Based Constraint Solvers: Combined Approach
• Runtime repeated recursion unfolding in CHR: a just-in-time online program optimization strategy that can achieve super-linear speedup

Describes a project that uses

Uses Software

• NP-SPEC

This page was built for publication: Integration and optimization of rule-based constraint solvers

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