Guiding high-performance SAT solvers with unsat-core predictions
From MaRDI portal
Publication:2181943
DOI10.1007/978-3-030-24258-9_24zbMath1441.68239arXiv1903.04671OpenAlexW2921992864MaRDI QIDQ2181943
Daniel Selsam, Nikolaj Bjørner
Publication date: 20 May 2020
Full work available at URL: https://arxiv.org/abs/1903.04671
Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items
Adaptive solution prediction for combinatorial optimization ⋮ CoProver: a recommender system for proof construction ⋮ Deep learning for the generation of heuristics in answer set programming: a case study of graph coloring ⋮ NeuroSAT ⋮ Learning variable activity initialisation for lazy clause generation solvers ⋮ SeaPearl: a constraint programming solver guided by reinforcement learning
Uses Software
This page was built for publication: Guiding high-performance SAT solvers with unsat-core predictions
