A Search-Infer-and-Relax Framework for Integrating Solution Methods

DOI10.1007/11493853_19MaRDI QIDQ5450936zbMATH OpenOpenAlexFDO

Authors John N. Hooker

Publication date 17 March 2008

Published in Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (Search for Journal in Brave)

Full work available at URL https://figshare.com/articles/journal_contribution/A_Search-Infer-and-Relax_Framework_for_Integrating_Solution_Methods/6703304

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2159466
• Constraint programming and operations research
• scientific article; zbMATH DE number 2084694
• Toward unification of exact and heuristic optimization methods
• Integrated methods for optimization.

Cited in

(5)

• Submodularity and its application to some global constraints
• The Relation Between Complete and Incomplete Search
• Logic-based MultiObjective Optimization for Restoration Planning
• Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming
• Toward unification of exact and heuristic optimization methods

Describes a project that uses

Uses Software

• SIMPL
• Chaff

This page was built for publication: A Search-Infer-and-Relax Framework for Integrating Solution Methods

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