Maple_LCM_Dist_ChronoBT

MaRDI QIDQ55738swMATHFDO

Official website https://helda.helsinki.fi//bitstream/handle/10138/308034/sr2019_proceedings.pdf?sequence=1

Cited in

(4)

• Clause vivification by unit propagation in CDCL SAT solvers
• satUZK
• The \textsc{MergeSat} solver
• Cover combinatorial filters and their minimization problem

This page was built for software: Maple_LCM_Dist_ChronoBT