Download PDFOpen PDF in browser

Do Portfolio Solvers Harm?

6 pagesPublished: November 8, 2017

Abstract

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

Links:
BibTeX entry
@inproceedings{ARCADE2017:Do_Portfolio_Solvers_Harm,
  author    = {Christoph Weidenbach},
  title     = {Do Portfolio Solvers Harm?},
  booktitle = {ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements},
  editor    = {Giles Reger and Dmitriy Traytel},
  series    = {EPiC Series in Computing},
  volume    = {51},
  pages     = {76--81},
  year      = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/sXjZ},
  doi       = {10.29007/vpxm}}

The requested page was not found on this server.

Download PDFOpen PDF in browser