scientific article; zbMATH DE number 2080338

MaRDI QIDQ4473058zbMATH OpenFDO

Authors Jean-Charles Régin, Thierry Petit, Christian Bessiere, Jean-François Puget

Publication date 4 August 2004

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

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2084715
• Current approaches for solving over-constrained problems
• Global propagation of side constraints for solving over-constrained problems
• Theory and Applications of Satisfiability Testing
• scientific article; zbMATH DE number 2084723

Cited in

(6)

• Current approaches for solving over-constrained problems
• On global warming: Flow-based soft global constraints
• Gallai-Edmonds decomposition as a pruning technique
• scientific article; zbMATH DE number 2084715 (Why is no real title available?)
• scientific article; zbMATH DE number 2084723 (Why is no real title available?)
• Global propagation of side constraints for solving over-constrained problems

This page was built for publication:

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