StarExec

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 52 articles , 1 standard article )

Showing results 1 to 20 of 52.
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. Froleyks, Nils; Heule, Marijn; Iser, Markus; Järvisalo, Matti; Suda, Martin: SAT competition 2020 (2021)
  3. Niemetz, Aina; Preiner, Mathias; Reynolds, Andrew; Barrett, Clark; Tinelli, Cesare: On solving quantified bit-vector constraints using invertibility conditions (2021)
  4. Sutcliffe, Geoff: The 10th IJCAR automated theorem proving system competition -- CASC-J10 (2021)
  5. Sutcliffe, Geoff; Desharnais, Martin: The CADE-28 automated theorem proving system competition -- CASC-28 (2021)
  6. Vukmirović, Petar; Bentkamp, Alexander; Nummelin, Visa: Efficient full higher-order unification (2021)
  7. Yu, Jinqiang; Ignatiev, Alexey; Stuckey, Peter J.; Le Bodic, Pierre: Learning optimal decision sets and lists with SAT (2021)
  8. Hajdú, Márton; Hozzová, Petra; Kovács, Laura; Schoisswohl, Johannes; Voronkov, Andrei: Induction with generalization in superposition reasoning (2020)
  9. Rümmer, Philipp: Competition report: CHC-COMP-20 (2020)
  10. Bhayat, Ahmed; Reger, Giles: Restricted combinatory unification (2019)
  11. Borralleras, Cristina; Larraz, Daniel; Rodríguez-Carbonell, Enric; Oliveras, Albert; Rubio, Albert: Incomplete SMT techniques for solving non-linear formulas over the integers (2019)
  12. Joshi, Saurabh; Kumar, Prateek; Rao, Sukrut; Martins, Ruben: \textsfOpen-WBO-Inc: approximation strategies for incomplete weighted MaxSAT (2019)
  13. Pulina, Luca; Seidl, Martina: The 2016 and 2017 QBF solvers evaluations (QBFEVAL’16 and QBFEVAL’17) (2019)
  14. Rawson, Michael; Reger, Giles: Old or heavy? Decaying gracefully with age/weight shapes (2019)
  15. Reger, Giles; Riener, Martin; Suda, Martin: Symmetry avoidance in MACE-style finite model finding (2019)
  16. Reger, Giles; Voronkov, Andrei: Induction in saturation-based proof search (2019)
  17. Reynolds, Andrew; Kuncak, Viktor; Tinelli, Cesare; Barrett, Clark; Deters, Morgan: Refutation-based synthesis in SMT (2019)
  18. Schulz, Stephan; Cruanes, Simon; Vukmirović, Petar: Faster, higher, stronger: E 2.3 (2019)
  19. Sutcliffe, Geoff: The CADE-27 automated theorem proving system competition -- CASC-27 (2019)
  20. Aoto, Takahito; Hamana, Makoto; Hirokawa, Nao; Middeldorp, Aart; Nagele, Julian; Nishida, Naoki; Shintani, Kiraku; Zankl, Harald: Confluence Competition 2018 (2018)

1 2 3 next