Boosting Local Search Thanks to cdcl
From MaRDI portal
Publication:4933326
DOI10.1007/978-3-642-16242-8_34zbMath1306.68138MaRDI 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
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
Combining incomplete search and clause generation: an application to the orienteering problems with time windows, Deep cooperation of CDCL and local search for SAT, Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT
Uses Software