StarExec
From MaRDI portal
swMATH8839MaRDI QIDQ20838FDOQ20838
Author name not available (Why is that?)
Official website: https://www.starexec.org/starexec/public/about.jsp
Cited In (only showing first 100 items - show all)
- Proving non-termination and lower runtime bounds with \textsf{LoAT} (system description)
- Faster, higher, stronger: E 2.3
- Multi-dimensional interpretations for termination of term rewriting
- Scavenger 0.1: a theorem prover based on conflict resolution
- Term orderings for non-reachability of (conditional) rewriting
- Counterexample-guided quantifier instantiation for synthesis in SMT
- The 2013 evaluation of SMT-COMP and SMT-LIB
- Polyhedral approximation of multivariate polynomials using Handelman's theorem
- Performance of clause selection heuristics for saturation-based theorem proving
- Incomplete SMT techniques for solving non-linear formulas over the integers
- Proving termination through conditional termination
- Scaling enumerative program synthesis via divide and conquer
- A calculus for modular loop acceleration
- A combinator-based superposition calculus for higher-order logic
- Layered clause selection for theory reasoning (short paper)
- Teaching Automated Theorem Proving by Example: PyRes 1.2
- Refutation-based synthesis in SMT
- Title not available (Why is that?)
- Subsumption demodulation in first-order theorem proving
- HaifaSat
- SMT-LIB
- SPASS+T
- PURRS
- PoCaB
- Satallax
- NiVER
- Zeno
- Asparagus
- RunLim
- Runsolver
- CVC4
- Bloqqer
- Aligators
- Eldarica
- CoLoR
- MU-TERM
- TPDB
- GQML
- MetTeL
- Kaluza
- Easychair
- Beagle
- Ctrl
- Saucy
- Deciding local theory extensions via E-matching
- SAT race 2015
- FAST
- Leo-III
- HordeQBF
- MPIDepQBF
- OpenSMT2
- EFSMT
- DISCOUNT
- JST
- RADA
- ConCon
- FMLtoHOL
- nanoCoP
- Nagoya Termination Tool
- QBFEVAL
- LoAT
- H-PILoT
- Scavenger
- RAHFT
- abcdSAT
- AIGSolve
- CAQE
- MapleSAT
- CoCoWeb
- CO3
- Cops
- AVATAR
- HQSpre
- MadMax
- Lambda Free RPOs
- CoqHammer
- ZRes
- FlashMeta
- Stern-Brocot Tree
- lbtt
- Twee
- SMTS
- TRANSIT
- Zipperposition
- cnf2aig
- TcT
- PyRes
- A decision procedure for (co)datatypes in SMT solvers
- A decision procedure for (co)datatypes in SMT solvers
- Automated reasoning. 7th international joint conference, IJCAR 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 19--22, 2014. Proceedings
- PReLearn
- iRankFinder
- Open-WBO-Inc
- SLIME
- Learning rate based branching heuristic for SAT solvers
- An efficient SMT solver for string constraints
- SAT competition 2020
- The 10th IJCAR automated theorem proving system competition -- CASC-J10
- Lash
- Old or heavy? Decaying gracefully with age/weight shapes
This page was built for software: StarExec
