Download PDFOpen PDF in browser

Do Portfolio Solvers Harm?

6 pagesPublished: November 8, 2017


I discuss the question whether portfolio solvers support advances in automated reasoning.
A portfolio solver is the combination of a collection of core solvers.
I distinguish syntactic combinations from semantic combinations and argue
that the former are useful for competitions where the latter foster
progress in automated reasoning.

Keyphrases: first-order, portfolio, SAT, solver, theorem prover

In: Giles Reger and Dmitriy Traytel (editors). ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, vol 51, pages 76--81

Download PDFOpen PDF in browser