Mjollnir
From MaRDI portal
Cited in
(29)- Lazysets.jl
- An improved multi-parametric programming algorithm for flux balance analysis of metabolic networks
- Solving quantified linear arithmetic by counterexample-guided instantiation
- sQueezeBF
- Goanna
- Optimal and robust controller synthesis using energy timed automata with uncertainty
- Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)
- BitBlaze
- Refutation-based synthesis in SMT
- Definability for model counting
- CirQit2
- QUBE
- A layered algorithm for quantifier elimination from linear modular constraints
- Abstract interpretation of microcontroller code: intervals meet congruences
- PANDA
- PAGAI
- Solving QBF with counterexample guided refinement
- RATSY
- A survey of satisfiability modulo theory
- Abstraction-based algorithm for 2QBF
- JavaSMT
- pystif
- cfme
- WPDS++
- Computational tools for solving a marginal problem with applications in Bell non-locality and causal modeling
- Complexity-sensitive decision procedures for abstract argumentation
- Papyrus-RT
- Transfer function synthesis without quantifier elimination
- RAReQS
This page was built for software: Mjollnir
