Boosting Local Search Thanks to cdcl

DOI10.1007/978-3-642-16242-8_34zbMath1306.68138OpenAlexW1513193674MaRDI QIDQ4933326

Bertrand Mazure, Lakhdar Saïs, Gilles Audemard, Jean-Marie Lagniez

Publication date: 12 October 2010

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-16242-8_34

Mathematics Subject Classification ID

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

Related Items (3)

Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT ⋮ Combining incomplete search and clause generation: an application to the orienteering problems with time windows ⋮ Deep cooperation of CDCL and local search for SAT

Uses Software

• UnitWalk
• SATzilla

This page was built for publication: Boosting Local Search Thanks to cdcl