Centrality-based improvements to CDCL heuristics

DOI10.1007/978-3-319-94144-8_8OpenAlexW2811466089MaRDI QIDQ1656570

Y. Aharonov

Publication date: 10 August 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-94144-8_8

Mathematics Subject Classification ID

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

Related Items (1)

Towards better heuristics for solving bounded model checking problems

Uses Software

• Maple

This page was built for publication: Centrality-based improvements to CDCL heuristics