pfolioUZK

swMATH12926MaRDI QIDQ24849FDOQ24849

Author name not available (Why is that?)

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

Cited In (3)

• Soundness of Inprocessing in Clause Sharing SAT Solvers
• 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