Constraint-based analysis of composite solvers

MaRDI QIDQ2880592zbMATH OpenFDO

Authors Evgueni S. Petrov, Eric Monfroy

Publication date 13 April 2012

Published in Joint Bulletin of the Novosibirsk Computing Center (NCC) and A. P. Ershov Institute of Informatics Systems (IIS). Series: Computer Science (Search for Journal in Brave)

zbMATH Keywords

contextloopdeterministic choicehull consistency algorithmoperation model

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2080334
• scientific article; zbMATH DE number 1822298
• scientific article; zbMATH DE number 1696806
• Symbolic-interval cooperation in constraint programming
• Modular constraint solver cooperation via abstract interpretation

Cited in

(5)

• Coordination Models and Languages
• Optimisation techniques for combing constraint solvers
• Logic Programming
• scientific article; zbMATH DE number 1998924 (Why is no real title available?)
• scientific article; zbMATH DE number 2087094 (Why is no real title available?)

This page was built for publication: Constraint-based analysis of composite solvers

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