New approaches to boolean quantifier elimination

DOI10.1145/2016567.2016595zbMATH Open1305.68376OpenAlexW1976916248MaRDI QIDQ5175308

Andreas Kübler, Christoph Zengler, Wolfgang Küchlin

Publication date: 20 February 2015

Published in: ACM Communications in Computer Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2016567.2016595

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (2)

Theory and Applications of Satisfiability Testing ⋮ New Minimal Linear Inferences in Boolean Logic Independent of Switch and Medial

This page was built for publication: New approaches to boolean quantifier elimination

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5175308)