Coverage-based clause reduction heuristics for CDCL solvers

DOI10.1007/978-3-319-66263-3_9zbMath1496.68305OpenAlexW2743008580MaRDI QIDQ1680252

Katsumi Inoue, Hidetomo Nabeshima

Publication date: 15 November 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-66263-3_9

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Uses Software

• Plingeling

This page was built for publication: Coverage-based clause reduction heuristics for CDCL solvers