Login / Signup
On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive Formulas.
Matthew Valeriote
Simone Bova
Hubie Chen
Published in:
The Constraint Satisfaction Problem: Complexity and Approximability (2009)
Keyphrases
</>
worst case
positive and negative
graph theory
space complexity
high level
search engine
higher level