swMATH38338MaRDI QIDQ54038FDOQ54038
Author name not available (Why is that?)
Official website: https://hal.archives-ouvertes.fr/hal-00472831v2/document
Cited In (29)
- 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
- RAReQS
- Abstraction-based algorithm for 2QBF
- Refutation-based synthesis in SMT
- Goanna
- sQueezeBF
- PANDA
- BitBlaze
- CirQit2
- QUBE
- PAGAI
- RATSY
- JavaSMT
- cfme
- pystif
- WPDS++
- A survey of satisfiability modulo theory
- Complexity-sensitive decision procedures for abstract argumentation
- Definability for model counting
- Papyrus-RT
- Transfer function synthesis without quantifier elimination
- A layered algorithm for quantifier elimination from linear modular constraints
- Solving quantified linear arithmetic by counterexample-guided instantiation
- Lazysets.jl
- Optimal and robust controller synthesis using energy timed automata with uncertainty
This page was built for software: Mjollnir
