Maple_LCM_Dist_ChronoBT

swMATH40038MaRDI QIDQ55738FDOQ55738

Author name not available (Why is that?)

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

Cited In (4)

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

This page was built for software: Maple_LCM_Dist_ChronoBT