Sciweavers

JAL
2002

Exploiting structure in quantified formulas

13 years 10 months ago
Exploiting structure in quantified formulas
We study the computational problem "find the value of the quantified formula obtained by quantifying the variables in a sum of terms." The "sum" can be based on any commutative monoid, the "quantifiers" need only satisfy two simple conditions, and the variables can have any finite domain. This problem is a generalization of the problem "given a sum-of-products of terms, find the value of the sum" studied in [R.E. Stearns and H.B. Hunt III, SIAM J. Comput. 25 (1996) 448
Richard Edwin Stearns, Harry B. Hunt III
Added 22 Dec 2010
Updated 22 Dec 2010
Type Journal
Year 2002
Where JAL
Authors Richard Edwin Stearns, Harry B. Hunt III
Comments (0)