StarExec: Starexec is a cross community logic solving service under development at the University of Iowa under the direction of principal investigators Aaron Stump (Iowa), Geoff Sutcliffe (University of Miami), and Cesare Tinelli (Iowa). Our goal is to provide a shared logic solving infrastructure to researchers to manage benchmark libraries, community membership, and provide solver execution on a large cluster and facilitate translation between logics.

References in zbMATH (referenced in 45 articles , 1 standard article )

Showing results 1 to 20 of 45.
Sorted by year (citations)

1 2 3 next

  1. Bentkamp, Alexander; Blanchette, Jasmin; Cruanes, Simon; Waldmann, Uwe: Superposition for lambda-free higher-order logic (2021)
  2. Niemetz, Aina; Preiner, Mathias; Reynolds, Andrew; Barrett, Clark; Tinelli, Cesare: On solving quantified bit-vector constraints using invertibility conditions (2021)
  3. Hajdú, Márton; Hozzová, Petra; Kovács, Laura; Schoisswohl, Johannes; Voronkov, Andrei: Induction with generalization in superposition reasoning (2020)
  4. Bhayat, Ahmed; Reger, Giles: Restricted combinatory unification (2019)
  5. Borralleras, Cristina; Larraz, Daniel; Rodríguez-Carbonell, Enric; Oliveras, Albert; Rubio, Albert: Incomplete SMT techniques for solving non-linear formulas over the integers (2019)
  6. Pulina, Luca; Seidl, Martina: The 2016 and 2017 QBF solvers evaluations (QBFEVAL’16 and QBFEVAL’17) (2019)
  7. Rawson, Michael; Reger, Giles: Old or heavy? Decaying gracefully with age/weight shapes (2019)
  8. Reger, Giles; Riener, Martin; Suda, Martin: Symmetry avoidance in MACE-style finite model finding (2019)
  9. Reger, Giles; Voronkov, Andrei: Induction in saturation-based proof search (2019)
  10. Reynolds, Andrew; Kuncak, Viktor; Tinelli, Cesare; Barrett, Clark; Deters, Morgan: Refutation-based synthesis in SMT (2019)
  11. Schulz, Stephan; Cruanes, Simon; Vukmirović, Petar: Faster, higher, stronger: E 2.3 (2019)
  12. Sutcliffe, Geoff: The CADE-27 automated theorem proving system competition -- CASC-27 (2019)
  13. Aoto, Takahito; Hamana, Makoto; Hirokawa, Nao; Middeldorp, Aart; Nagele, Julian; Nishida, Naoki; Shintani, Kiraku; Zankl, Harald: Confluence Competition 2018 (2018)
  14. Bentkamp, Alexander; Blanchette, Jasmin Christian; Cruanes, Simon; Waldmann, Uwe: Superposition for (\lambda)-free higher-order logic (2018)
  15. Hirokawa, Nao; Nagele, Julian; Middeldorp, Aart: Cops and CoCoWeb: infrastructure for confluence tools (2018)
  16. Kotelnikov, Evgenii; Kovács, Laura; Voronkov, Andrei: A foolish encoding of the next state relations of imperative programs (2018)
  17. Liang, Jia Hui; Oh, Chanseok; Mathew, Minu; Thomas, Ciza; Li, Chunxiao; Ganesh, Vijay: Machine learning-based restart policy for CDCL SAT solvers (2018)
  18. Reynolds, Andrew; Viswanathan, Arjun; Barbosa, Haniel; Tinelli, Cesare; Barrett, Clark: Datatypes with shared selectors (2018)
  19. Sutcliffe, Geoff: The 9th IJCAR automated theorem proving system competition -- CASC-J9 (2018)
  20. Alur, Rajeev; Radhakrishna, Arjun; Udupa, Abhishek: Scaling enumerative program synthesis via divide and conquer (2017)

1 2 3 next