Login / Signup

Complexity of DNF minimization and isomorphism testing for monotone formulas.

Judy GoldsmithMatthias HagenMartin Mundhenk
Published in: Inf. Comput. (2008)
Keyphrases