2 search results - page 1 / 1 » Recognition and dualization of disguised bidual Horn functio... |
IPL
2002
13 years 4 months ago
2002
We consider the problem of dualizing a Boolean function f given by CNF, i.e., computing a CNF for its dual fd . While this problem is not solvable in quasi-polynomial total time i...
STACS
1998
Springer
13 years 9 months ago
1998
Springer
We consider Boolean functions represented by decision lists, and study their relationships to other classes of Boolean functions. It turns out that the elementary class of 1-decis...