Abstract is missing.
- Evaluation Opportunities in Mechanized TheoriesJoe Hurd. 1-4 [doi]
- Exploring Predictability of SAT/SMT SolversRobert Brummayer, Duckki Oe, Aaron Stump. 5-18 [doi]
- Designing a solver competition: the QBFEVAL'10 case studyClaudia Peschiera, Luca Pulina, Armando Tacchella. 19-32 [doi]
- Statistical Methodology for Comparison of SAT SolversMladen Nikolic. 33-38 [doi]
- Adaptive Assertion-Level ProofsChristoph Benzmüller, Marvin Schiller. 39-40 [doi]
- The SMT Execution Service: Features, Fairness, and the FutureMorgan Deters. 41 [doi]
- Different Proofs are Good ProofsGeoff Sutcliffe, Cynthia Chang, Li Ding, Deborah L. McGuinness, Paulo Pinheiro da Silva. 42-51 [doi]