Mjollnir
From MaRDI portal
Software:54038
swMATH38338MaRDI QIDQ54038FDOQ54038
Author name not available (Why is that?)
Cited In (14)
- Solving QBF with counterexample guided refinement
- An improved multi-parametric programming algorithm for flux balance analysis of metabolic networks
- Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)
- Abstract interpretation of microcontroller code: intervals meet congruences
- Computational tools for solving a marginal problem with applications in Bell non-locality and causal modeling
- Refutation-based synthesis in SMT
- Complexity-sensitive decision procedures for abstract argumentation
- Definability for model counting
- Abstraction-Based Algorithm for 2QBF
- Transfer Function Synthesis without Quantifier Elimination
- A layered algorithm for quantifier elimination from linear modular constraints
- Solving quantified linear arithmetic by counterexample-guided instantiation
- A Survey of Satisfiability Modulo Theory
- Optimal and robust controller synthesis using energy timed automata with uncertainty
This page was built for software: Mjollnir
