17th International Conference on Theory and Applications of Satisfiability Testing

July 14-17, 2014   ·   Vienna, Austria

Accepted Papers

Out of a total of 63 technical paper submissions (including 48 regular and 15 short paper submissions) and 12 tool paper submissions, 32 technical papers (acceptance rate 44%, including 21 regular and 7 short papers) and 4 tool papers were accepted.

Regular Papers

Short Papers

  • Matti Järvisalo and Janne H. Korhonen:
    Conditional Lower Bounds for Failed Literals and Related Techniques.
  • Boris Konev and Alexei Lisitsa:
    A SAT Attack on the Erdos Discrepancy Conjecture.
  • Tomohiro Sonobe, Shuya Kondoh and Mary Inaba:
    Community Branching for Parallel Portfolio SAT Solvers.
  • Bernd Finkbeiner and Leander Tentrup:
    Fast DQBF Refutation.
  • Anton Belov, Marijn Heule and Joao Marques-Silva:
    MUS Extraction using Clausal Proofs.
  • Laurent Simon and Gilles Audemard:
    Lazy clause exchange policy for parallel SAT solvers.
  • Fahiem Bacchus and Nina Narodytska:
    Cores in Core based MaxSat Algorithms: an Analysis.

Tool Papers