EDACC - An advanced platform for the experiment design, administration and analysis of empirical algorithms

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

Volumn 6683 LNCS, Issue , 2011, Pages 586-599

  Balint, Adrian ^a   Diepold, Daniel ^a   Gall, Daniel ^a   Gerber, Simon ^a   Kapler, Gregor ^a   Retz, Robert ^a  

^a UNIVERSITY OF ULM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CLUSTERS; DESCRIPTIVE STATISTICS; EMPIRICAL ALGORITHMS; EXPERIMENT DESIGN; PROBLEM INSTANCES; REAL TIME MONITORING; TIME-CONSUMING TASKS;

COMPUTER SYSTEMS; EXPERIMENTS; GRAPHICAL USER INTERFACES; HEURISTIC ALGORITHMS; OPTIMIZATION;

DESIGN;

EID: 84864193128     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-25566-3_46     Document Type: Conference Paper

References (9)

1. Balint, A., Gall, D., Kapler, G., Retz, R.: Experiment design and administration for computer clusters for SAT-solvers (EDACC). JSAT 7, 77-82 (2010); system description bwGRiD, member of the German D-Grid initiative, funded by the Ministry for Education and Research (Bundesministerium für Bildung und Forschung) and the Ministry for Science, Research and Arts Baden-Württemberg (Ministerium für Wissenschaft, Forschung und Kunst Baden-Württemberg), http://www.bw-grid.de
2. Sutcliffe, G.: The CADE-22 Automated Theorem Proving System Competition CASC-22. AI Communications Journal 23(1), 47-60 (2010)
3. Bouton, T., de Oliveira, D.C.B., Déharbe, D., Fontaine, P.: GridTPT: a distributed platform for Theorem Prover. In: Proc. Workshop on Practical Aspects of Automated Reasoning 2010 (2010)
4. Hutter, F., Hoos, H., Stützle, T.: Automatic Algorithm Configuration based on Local Search. In: AAAI 2007 (2007)
5. Le Berre, D., Simon, L.: The Essentials of the SAT 2003 Competition. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol. 2919, pp. 452-467. Springer, Heidelberg (2004)
6. The SAT Competition Homepage, http://www.satcompetition.org
7. SAT-Race 2010 Homepage, http://baldur.iti.uka.de/sat-race-2010/
8. Barrett, C., De Moura, L., Stump, A.: SMT-COMP: Satisfiability Modulo Theories Competition. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 20-23. Springer, Heidelberg (2005)
9. Homepage of the project, http://sourceforge.net/projects/edacc/