Parametric quantified SAT solving
From MaRDI portal
Publication:2946524
DOI10.1145/1837934.1837954zbMath1321.68322OpenAlexW1986146359MaRDI QIDQ2946524
Thomas Sturm, Christoph Zengler
Publication date: 17 September 2015
Published in: Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1837934.1837954
Analysis of algorithms and problem complexity (68Q25) Classical propositional logic (03B05) Logical aspects of Boolean algebras (03G05) Quantifier elimination, model completeness, and related topics (03C10)
Related Items
Better answers to real questions ⋮ Extending Clause Learning of SAT Solvers with Boolean Gröbner Bases
Uses Software
Cites Work
- Differential algebra for derivations with nontrivial commutation rules
- Generating differential invariants
- Projective-type differential invariants and geometric curve evolutions of KdV-type in flat homogeneous manifolds
- Smooth and algebraic invariants of a group action: Local and global constructions
- Differential invariants of a Lie group action: syzygies on a generating set
- Invariants différentiels d'un pseudogroupe de Lie. I
- Invariants différentiels d'un pseudogroupe de Lie. II
- Higher order contact of submanifolds of homogeneous spaces
- Moving coframes. II: Regularization and theoretical foundations
- Rational invariants of a group action. Construction and rewriting
- Differential invariants of conformal and projective surfaces
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item