A verified SAT solver framework including optimization and partial valuations

DOI10.29007/96WBMaRDI QIDQ7024208zbMATH OpenFDO

Authors Mathias Fleury, Christoph Weidenbach

Publication date 20 February 2025

zbMATH Keywords

verificationCDCLCDCL with branch-and-bound

Mathematics Subject Classification ID

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

This page was built for publication: A verified SAT solver framework including optimization and partial valuations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7024208)