5 search results - page 1 / 1 » Complexity of DNF and Isomorphism of Monotone Formulas |
81
Voted
MFCS
2005
Springer
15 years 3 months ago
2005
Springer
We investigate the complexity of finding prime implicants and minimal equivalent DNFs for Boolean formulas, and of testing equivalence and isomorphism of monotone formulas. For DN...
55
Voted
IANDC
2008
14 years 10 months ago
2008
108
Voted
RANDOM
2001
Springer
15 years 2 months ago
2001
Springer
We consider the problem of determining whether a given function ¢ £ ¤¥ ¦ §¨© ¤¥ ¦ §¨ belongs to a certain class of Boolean functions or whether it is far from the...
75
Voted
IPL
2007
14 years 10 months ago
2007
We consider the problem Monet—given two monotone formulas ϕ in DNF and ψ in CNF, decide whether they are equivalent. While Monet is probably not coNPhard, it is a long standin...
96
Voted
COLT
1993
Springer
15 years 2 months ago
1993
Springer
We describe three applications in computational learning theory of techniques and ideas recently introduced in the study of parameterized computational complexity. (1) Using param...