Current approaches for solving over-constrained problems

DOI10.1023/A:1021902812784MaRDI QIDQ1405324zbMATH OpenOpenAlexFDO

Authors P. Meseguer, Noureddine Bouhmala, Taoufik Bouzoubaa, Morten Irgens, Marti Sanchez

Publication date 25 August 2003

Published in Constraints (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1021902812784, http://hdl.handle.net/10230/45163

zbMATH Keywords

multi-objective optimizationover-constrained CSPssoft constraints

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(9)

• A new model for automated examination timetabling
• Exact Max-SAT solvers for over-constrained problems
• On method overfitting
• Over-constrained problems
• scientific article; zbMATH DE number 403955 (Why is no real title available?)
• scientific article; zbMATH DE number 2080338 (Why is no real title available?)
• Theory and Applications of Satisfiability Testing
• Extending linear relaxation for non-square matrices and soft constraints
• Domain specific high-level constraints for user interface layout

This page was built for publication: Current approaches for solving over-constrained problems

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