Journal of Symbolic Computation
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Algorithmic complexity in coding theory and the minimum distance problem
STOC '97 Proceedings of the twenty-ninth annual ACM symposium on Theory of computing
Simplification of quantifier-free formulae over ordered fields
Journal of Symbolic Computation - Special issue: applications of quantifier elimination
Journal of the ACM (JACM)
Simple CAD construction and its applications
Journal of Symbolic Computation
The complexity of theorem-proving procedures
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
The Complexity of Boolean Formula Minimization
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part I
Black-box/white-box simplification and applications to quantifier elimination
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
Fast simplifications for Tarski formulas based on monomial inequalities
Journal of Symbolic Computation
Hi-index | 0.00 |
We define the "combinatorial part" of a Tarski formula in which equalities and inequalities are in factored or partially-factored form. The combinatorial part of a formula contains only "monomial inequalities", which are sign conditions on monomials. We give efficient algorithms for answering some basic questions about conjunctions of monomial inequalities and prove the NP-Completeness/Hardness of some others.