Trade-offs Between Time and Memory in a Tighter Model of CDCL SAT Solvers
From MaRDI portal
Publication:2818010
DOI10.1007/978-3-319-40970-2_11zbMath1475.68343WikidataQ61732578 ScholiaQ61732578MaRDI QIDQ2818010
Jan Johannsen, Massimo Lauria, Jakob Nordström, Jan Elffers, Marc Vinyals, Thomas Magnard
Publication date: 5 September 2016
Published in: Theory and Applications of Satisfiability Testing – SAT 2016 (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/2117/103872
68T05: Learning and adaptive systems in artificial intelligence
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
68V15: Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)
Uses Software