Guiding high-performance SAT solvers with unsat-core predictions
From MaRDI portal
Publication:2181943
DOI10.1007/978-3-030-24258-9_24zbMath1441.68239arXiv1903.04671MaRDI QIDQ2181943
Nikolaj Bjørner, Daniel Selsam
Publication date: 20 May 2020
Full work available at URL: https://arxiv.org/abs/1903.04671
68T05: Learning and adaptive systems in artificial intelligence
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
Uses Software