Can I read Equivalence Models in QBF Analysis on EtoBox?

Equivalence Models in QBF Analysis by cannotchooseaname02 is a document available to read on EtoBox.

What is Equivalence Models in QBF Analysis about?

This paper introduces the concept of equivalence models for quantified Boolean formulas (QBF) with free variables and investigates the complexity of equivalence model checking. It establishes connections between the structure of QBF formulas and their models, demonstrating that certain subclasses always possess equivalence models. The equivalence model checking problem is shown to be PSPACE-complete, highlighting its complexity compared to satisfiability model checking.

Author

cannotchooseaname02

Language

EN