ppfolio

swMATH11461MaRDI QIDQ23403FDOQ23403

Author name not available (Why is that?)

Official website: http://www.cril.univ-artois.fr/~roussel/ppfolio/

Cited In (12)

• Solving SAT in a distributed cloud: a portfolio approach
• Soundness of inprocessing in clause sharing SAT solvers
• Why CP portfolio solvers are (under)utilized? Issues and challenges
• PrecoSAT
• SArTagnan
• pfolioUZK
• Sparrow2011
• Local search for Boolean satisfiability with configuration checking and subscore
• Scranfilize
• Automatic construction of parallel portfolios via algorithm configuration
• Lazy clause exchange policy for parallel SAT solvers
• Empirical software metrics for benchmarking of verification tools

This page was built for software: ppfolio