Proofs of Equalities NP = coNP = PSPACE: Simplification.
Lev GordeevEdward Hermann HaeuslerPublished in: CoRR (2023)
Keyphrases
- decision procedures
- conjunctive queries
- np complete
- pspace complete
- decision problems
- theorem proving
- query answering
- computational complexity
- modal logic
- multiresolution
- np hard
- data complexity
- query evaluation
- conp complete
- double exponential
- automated reasoning
- mazurkiewicz traces
- equational theories
- formal proofs
- mathematical proofs
- theorem prover
- integrity constraints
- special case
- computer programs
- linear inequalities
- temporal logic
- preprocessing
- search algorithm