Introducing StarExec: a Cross-Community Infrastructure for Logic Solving

217 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Optimal Decision Lists using SAT (2020, methodology): “Experimental results are obtained on the StarExec cluster 1 (Stump, Sutcliffe, and Tinelli 2014), each computing node of which uses an Intel Xeon E5-2609 2.40GHz CPU with 128GByte of RAM, running CentOS 7.7.”
Syntax-guided synthesis (2013, methodology): “The solvers were run on the StarExec platform [33] with a dedicated cluster of 9 nodes, were each node consisted of two 4-core 2.”
Effective Algorithms for the Satisfiability of Quantifier-Free Formulas Over Linear Real and Integer Arithmetic (2014, methodology): “The experiments were conducted on the StarExec platform [104] with a CPU time limit of 1500 seconds and a memory limit of 8GB.”
Leveraging linear and mixed integer programming for SMT (2014, methodology): “The experiments were conducted on the StarExec platform [19] with a CPU time limit of 1500 seconds and a memory limit of 8GB.”