Keyword:Benchmarking

Papers
Perception Analysis of Potable Water Service to Users Martha Patricia Hansen Rodríguez, José Manuel Rodríguez Varela, Edgar Antúnez Leyva, Jorge Arturo Casados Prior, Luis Gómez Lugo, Gema Alín Martínez Ocampo and Yenni Laurel Varela In:HIC 2018. 13th International Conference on Hydroinformatics
Experimenting with robotic intra-logistics domains Martin Gebser, Van Nguyen, Philipp Obermeier, Thomas Otto, Orkunt Sabuncu, Torsten Schaub and Tran Cao Son EasyChair Preprint no. 197
GridTPT: a distributed platform for Theorem Prover Testing Thomas Bouton, Diego Caminha B de Oliveira, David Deharbe and Pascal Fontaine In:PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning
A Comparison of Solvers for Propositional Dynamic Logic Ullrich Hustadt and Renate A. Schmidt In:PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning