Cooperating constraint solvers

DOI10.1007/3-540-45349-0_42MaRDI QIDQ4473054zbMATH OpenFDO

Authors Petra Hofstedt

Publication date 4 August 2004

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/1894/18940520.htm

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1822298
• scientific article; zbMATH DE number 1860712
• scientific article; zbMATH DE number 1822442
• Basic operators for solving constraints via collaboration of solvers
• Collaborative learning for constraint solving
• scientific article; zbMATH DE number 1114458
• scientific article; zbMATH DE number 1822449
• A model of cooperative solvers for computational problems
• Modular constraint solver cooperation via abstract interpretation
• Distributed constraint satisfaction with cooperating asynchronous solvers

Cited in

(28)

• Concurrent cooperating solvers over reals
• Automatic generation of numerical redundancies for nonlinear constraint solving
• Cooperative resolution of over-constrained information requests
• A control language for designing constraint solvers
• Better communication for tighter cooperation
• A proposal for the cooperation of solvers in constraint functional logic programming
• A fully sound goal solving calculus for the cooperation of solvers in the CFLP scheme
• Constraint-based analysis of composite solvers
• scientific article; zbMATH DE number 1822442 (Why is no real title available?)
• scientific article; zbMATH DE number 1822449 (Why is no real title available?)
• Solution strategies for multi-domain constraint logic programs
• Switching among solvers: collaborative algorithms with parameter control
• scientific article; zbMATH DE number 1223546 (Why is no real title available?)
• scientific article; zbMATH DE number 1231676 (Why is no real title available?)
• scientific article; zbMATH DE number 1337860 (Why is no real title available?)
• scientific article; zbMATH DE number 1059314 (Why is no real title available?)
• scientific article; zbMATH DE number 1114458 (Why is no real title available?)
• Basic operators for solving constraints via collaboration of solvers
• A graphical interface for solver cooperations
• scientific article; zbMATH DE number 2182500 (Why is no real title available?)
• A modular approach to proving confluence
• A model of cooperative solvers for computational problems
• scientific article; zbMATH DE number 1822298 (Why is no real title available?)
• scientific article; zbMATH DE number 1860712 (Why is no real title available?)
• scientific article; zbMATH DE number 1406250 (Why is no real title available?)
• scientific article; zbMATH DE number 1420823 (Why is no real title available?)
• Applying constraint logic programming to SQL semantic analysis
• Modular constraint solver cooperation via abstract interpretation

This page was built for publication: Cooperating constraint solvers

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