Speeding up assumption-based SAT

DOI10.1007/978-3-030-24258-9_11zbMath1441.68226OpenAlexW2955759369MaRDI QIDQ2181929

Randy Hickey, Fahiem Bacchus

Publication date: 20 May 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-24258-9_11

Mathematics Subject Classification ID

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

Related Items (2)

Assessing progress in SAT solvers through the Lens of incremental SAT ⋮ The \textsc{MergeSat} solver

This page was built for publication: Speeding up assumption-based SAT