Spybug

swMATH16740MaRDI QIDQ28608FDOQ28608

Author name not available (Why is that?)

Cited In (5)

• SpyBug: Automated Bug Detection in the Configuration Space of SAT Solvers
• Pitfalls and Best Practices in Algorithm Configuration
• DRAT Proofs for XOR Reasoning
• Efficient benchmarking of algorithm configurators via model-based surrogates
• The \textsc{MergeSat} solver

This page was built for software: Spybug