SpySMAC

swMATH16741MaRDI QIDQ28609FDOQ28609

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007/978-3-319-24318-4_16

Cited In (4)

• Pitfalls and best practices in algorithm configuration
• SpySMAC: Automated Configuration and Performance Analysis of SAT Solvers
• Black-box optimization in an extended search space for SAT solving
• SpyBug: automated bug detection in the configuration space of SAT solvers

This page was built for software: SpySMAC