The following pages link to The Formula Isomorphism Problem (Q4507381):
Displaying 7 items.
- Isomorphism testing of Boolean functions computable by constant-depth circuits (Q476155) (← links)
- The complexity of game isomorphism (Q650900) (← links)
- On the expression complexity of equivalence and isomorphism of primitive positive formulas (Q692919) (← links)
- Complexity classes of equivalence problems revisited (Q716333) (← links)
- Some results of Maria Serna on strategic games: complexity of equilibria and models (Q826318) (← links)
- Efficient computation of approximate isomorphisms between Boolean functions (Q903194) (← links)
- Complexity of DNF minimization and isomorphism testing for monotone formulas (Q939444) (← links)
