Local Computing By Partial Quantifier Elimination: Efficient Problem Solving Techniques
Partial quantifier elimination (PQE) serves as a language of local computing, enabling efficient problem-solving techniques by taking a part of the formula out of the scope of quantifiers.