A branch and bound algorithm for numerical Max-CSP

DOI10.1007/S10601-009-9084-1MaRDI QIDQ968350zbMATH OpenOpenAlexFDO

Authors J.-M. Normand, Alexandre Goldsztejn, Marc Christie, Frédéric Benhamou

Publication date 5 May 2010

Published in Constraints (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10601-009-9084-1

zbMATH Keywords

constraint programmingnumerical constraintsnumerical Max-CSP

Mathematics Subject Classification ID

Logic programming (68N17) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Partition-based lower bound for Max-CSP
• Numerical constraint satisfaction problems with non-isolated solutions
• A combinatorial algorithm for MAX CSP
• scientific article; zbMATH DE number 2043437
• The approximability of MAX CSP with fixed-value constraints

Cites work

• Applying interval arithmetic to real, integer, and boolean constraints
• Consistency in networks of relations
• Estimation theory for nonlinear models and set membership uncertainty
• Global optimization by continuous grasp
• Guaranteed robust nonlinear minimax estimation
• scientific article; zbMATH DE number 1746287 (Why is no real title available?)
• scientific article; zbMATH DE number 804614 (Why is no real title available?)
• scientific article; zbMATH DE number 5066287 (Why is no real title available?)
• scientific article; zbMATH DE number 3281219 (Why is no real title available?)
• Interval Methods for Systems of Equations
• Minimizing conflicts: A heuristic repair method for constraint satisfaction and scheduling problems
• Solving Max-SAT as weighted CSP

Cited in

(5)

• Note on an improved branch-and-bound algorithm to solve \(n/m/P/F_{\text{max}}\) problems
• A branch-and-bound algorithm for solving max-\(k\)-cut problem
• Genetic based discrete particle swarm optimization for elderly day care center timetabling
• scientific article; zbMATH DE number 2043437 (Why is no real title available?)
• Recent Advances in Constraints

Describes a project that uses

Uses Software

• KNITRO
• MINOS

This page was built for publication: A branch and bound algorithm for numerical Max-CSP

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