pfolioUZK

swMATH12926MaRDI QIDQ24849FDOQ24849

Author name not available (Why is that?)

Official website: https://github.com/satuzk/pfolioUZK

Source code repository: https://github.com/satuzk/pfolioUZK

Cited In (6)

• Soundness of inprocessing in clause sharing SAT solvers
• ppfolio
• Sparrow2011
• satUZK
• Local search for Boolean satisfiability with configuration checking and subscore
• Automatic construction of parallel portfolios via algorithm configuration

This page was built for software: pfolioUZK