pfolioUZK

MaRDI QIDQ24849swMATHFDO

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