Boosting Distributed Constraint Satisfaction

DOI10.1007/11564751_41MaRDI QIDQ3524204zbMATH OpenOpenAlexFDO

Authors Georg Ringwelski, Youssef Hamadi

Publication date 9 September 2008

Published in Principles and Practice of Constraint Programming - CP 2005 (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Recommendations

• Concurrent search for distributed CSPs
• Principles and Practice of Constraint Programming – CP 2004
• scientific article; zbMATH DE number 912622
• Concurrent forward bounding for distributed constraint optimization problems
• scientific article; zbMATH DE number 1573293

Cited in

(2)

• An overview of parallel SAT solving
• SMTS: Distributed, Visualized Constraint Solving

Describes a project that uses

Uses Software

• ManySAT

This page was built for publication: Boosting Distributed Constraint Satisfaction

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