5,952 followers
Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains. http://t.co/aMWbQH1FIt
Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains. http://t.co/aMWbQH1FIt
Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains. (arXiv:1401.6310v1 [cs.SC]) http://t.co/18ztZbwWqQ