A component-based parallel constraint solver

DOI10.1007/978-3-540-24634-3_23MaRDI QIDQ5717736zbMATH OpenOpenAlexFDO

Authors Peter Zoeteweij, Farhad Arbab

Publication date 10 January 2006

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

Full work available at URL https://doi.org/10.1007/b95570, https://ir.cwi.nl/pub/4104

zbMATH Keywords

component-based software engineeringconstraint solvingcoordinationparallelization

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• A coordination-based framework for distributed constraint solving
• Compositionality, coordination and software architecture
• scientific article; zbMATH DE number 1822298
• A review of literature on parallel constraint solving
• Constraint-based analysis of composite solvers

Cited in

(7)

• A tagging method for parallel constraint satisfaction
• On parallel partial solutions and approximation schemes for local consistency in networks of constraints
• Fast and parallel decomposition of constraint satisfaction problems
• Multithreaded constraint programming: A hybrid approach
• A coordination-based framework for distributed constraint solving
• Early-reply components: Concurrent execution with sequential reasoning
• Non-local configuration of component interfaces by constraint satisfaction

Describes a project that uses

Uses Software

• DICE

This page was built for publication: A component-based parallel constraint solver

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