Machine learning-based restart policy for CDCL SAT solvers
From MaRDI portal
Publication:1656568
DOI10.1007/978-3-319-94144-8_6OpenAlexW2810313326MaRDI QIDQ1656568
Vijay Ganesh, Jia Hui Liang, Ciza Thomas, Minu Mathew, Chanseok Oh, Chun-Xiao Li
Publication date: 10 August 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-94144-8_6
Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (5)
A SAT encoding to compute aperiodic tiling rhythmic canons ⋮ Machine learning and logic: a new frontier in artificial intelligence ⋮ Diversifying a parallel SAT solver with Bayesian moment matching ⋮ Deep learning for the generation of heuristics in answer set programming: a case study of graph coloring ⋮ A model of random industrial SAT
Uses Software
This page was built for publication: Machine learning-based restart policy for CDCL SAT solvers
