Starexec: A cross-community infrastructure for logic solving

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 8562 LNAI, Issue , 2014, Pages 367-373

  Stump, Aaron ^a   Sutcliffe, Geoff ^b   Tinelli, Cesare ^a  

^a University of Iowa   (United States)

^b Department of Computer Science and Center for Computational Science   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; MODEL CHECKING; THEOREM PROVING;

BENCH-MARK PROBLEMS; COMMUNITY ORGANIZERS; COMPARATIVE EVALUATIONS; COMPUTING INFRASTRUCTURES; CONSTRAINT SOLVERS; EXPERIMENTAL EVALUATION; FORMAL REASONING; WEB-BASED SERVICE;

CLUSTER COMPUTING;

EID: 84958548083     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-08587-6_28     Document Type: Conference Paper

References (15)

1. Barrett, C., Deters, M., de Moura, L., Oliveras, A., Stump, A.: 6 Years of SMT-COMP. Journal of Automated Reasoning 50(3), 243-277 (2012)
2. Barrett, C., Stump, A., Tinelli, C.: The Satisfiability Modulo Theories Library (SMT-LIB) (2010), http://www.SMT-LIB.org
3. Barrett, C., Stump, A., Tinelli, C.: The SMT-LIB Standard: Version 2.0. In: Proceedings of the 8th International Workshop on Satisfiability Modulo Theories (2010)
4. Beyer, D.: Competition on software verification. In: Flanagan, C., König, B. (eds.) TACAS 2012. LNCS, vol. 7214, pp. 504-524. Springer, Heidelberg (2012)
5. Biere, A., Claessen, K.: Hardware model checking competition. In: Hardware Verification Workshop (2010)
6. Hoos, H., Stützle, T.: SATLIB: An Online Resource for Research on SAT. In: Proceedings of the 3rd Workshop on the Satisfiability Problem (2001), http://www.satlib.org/
7. Le Berre, D., Simon, L. (eds.): Special Issue on the SAT 2005 Competitions and Evaluations, vol. 2. JSAT (2006)
8. Marché, C., Zantema, H.: The termination competition. In: Baader, F. (ed.) RTA 2007. LNCS, vol. 4533, pp. 303-313. Springer, Heidelberg (2007)
9. Nieuwenhuis, R.: Special Issue: The CADE ATP System Competition. AI Communications 15(2-3) (2002)
10. Peschiera, C., Pulina, L., Tacchella, A., Bubeck, U., Kullmann, O., Lynce, I.: The seventh QBF solvers evaluation (QBFEVAL'10). In: Strichman, O., Szeider, S. (eds.) SAT 2010. LNCS, vol. 6175, pp. 237-250. Springer, Heidelberg (2010)
11. Raths, T., Otten, J., Kreitz, C.: The ILTP Problem Library for Intuitionistic Logic-Release v1.1. Journal of Automated Reasoning 38(1-2), 261-271 (2007)
12. Simon, L., Chatalic, P.: SatEx: A Web-based Framework for SAT Experimentation. In: Proceedings of SAT 2001. ENDM, vol. 9, pp. 129-149 (2001)
13. Stump, A., Deters, M.: SMT-Exec., http://www.smtexec.org
14. Sutcliffe, G.: The TPTP Problem Library and Associated Infrastructure. The FOF and CNF Parts, v3.5.0. Journal of Automated Reasoning 43(4), 337-362 (2009)
15. Sutcliffe, G.: The TPTP World-Infrastructure for Automated Reasoning. In: Clarke, E.M., Voronkov, A. (eds.) LPAR-16 2010. LNCS (LNAI), vol. 6355, pp. 1-12. Springer, Heidelberg (2010)