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