An adaptive model restarts heuristic

DOI10.1007/978-3-642-38171-3_28zbMATH Open1382.68229OpenAlexW49063298MaRDI QIDQ4922927FDOQ4922927

Authors: Nina Narodytska, Toby Walsh 

Publication date: 4 June 2013

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://doi.org/10.1007/978-3-642-38171-3_28

Recommendations

• Symmetries of symmetry breaking constraints
• scientific article; zbMATH DE number 2084699
• Conditional Symmetry Breaking
• Towards breaking more composition symmetries in partial symmetry breaking
• Adaptive Restart Strategies for Conflict Driven SAT Solvers

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Approximation methods and heuristics in mathematical programming (90C59)

This page was built for publication: An adaptive model restarts heuristic

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