Spybug

swMATH16740MaRDI QIDQ28608FDOQ28608

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007%2F978-3-319-40970-2_36

Cited In (8)

• Pitfalls and best practices in algorithm configuration
• Nenofex
• SpySMAC
• DRAT proofs for XOR reasoning
• HPOlib
• Efficient benchmarking of algorithm configurators via model-based surrogates
• The \textsc{MergeSat} solver
• SpyBug: automated bug detection in the configuration space of SAT solvers

This page was built for software: Spybug