The following pages link to STACS 2004 (Q5309697):
Displayed 6 items.
- On the expression complexity of equivalence and isomorphism of primitive positive formulas (Q692919) (← links)
- Isomorphic implication (Q2272203) (← links)
- On the isomorphism problem for decision trees and decision lists (Q2348033) (← links)
- The complexity of equivalence and isomorphism of systems of equations over finite groups (Q2575758) (← links)
- Non-uniform Boolean Constraint Satisfaction Problems with Cardinality Constraint (Q3540174) (← links)
- Boolean Constraint Satisfaction Problems: When Does Post’s Lattice Help? (Q5504698) (← links)