Download PDFOpen PDF in browserDo Portfolio Solvers Harm?6 pages•Published: November 8, 2017AbstractI 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.
|