On Freezing and Reactivating Learnt Clauses
From MaRDI portal
Publication:3007683
DOI10.1007/978-3-642-21581-0_16zbMath1330.68267MaRDI QIDQ3007683
Bertrand Mazure, Jean-Marie Lagniez, Gilles Audemard, Lakhdar Saïs
Publication date: 17 June 2011
Published in: Theory and Applications of Satisfiability Testing - SAT 2011 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-21581-0_16
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
Learning from conflicts in propositional satisfiability, What we can learn from conflicts in propositional satisfiability, An Expressive Model for Instance Decomposition Based Parallel SAT Solvers, Between SAT and UNSAT: The Fundamental Difference in CDCL SAT
Uses Software
Cites Work