satUZK

swMATH18570MaRDI QIDQ30406FDOQ30406

Author name not available (Why is that?)

Cited In (4)

• Between SAT and UNSAT: The Fundamental Difference in CDCL SAT
• XSAT and NAE-SAT of linear CNF classes
• Clause vivification by unit propagation in CDCL SAT solvers
• Automatic construction of parallel portfolios via algorithm configuration

This page was built for software: satUZK