290 search results - page 4 / 58 » Lattice-based computation of Boolean functions |
ASPDAC
1999
ACM
13 years 10 months ago
1999
ACM
—This paper presents an efficient method to check the equivalence of two Boolean functions under permutation of the variables. The problem is also known as Boolean matching. As ...
JACIII
2007
13 years 5 months ago
2007
We study the problem of approximating pseudoBoolean functions by linear pseudo-Boolean functions. Pseudo-Boolean functions generalize ordinary Boolean functions by allowing the fu...
FOCS
1998
IEEE
13 years 10 months ago
1998
IEEE
PDP
1995
IEEE
13 years 9 months ago
1995
IEEE
STACS
2005
Springer
13 years 11 months ago
2005
Springer
We define and study the complexity of robust polynomials for Boolean functions and the related fault-tolerant quantum decision trees, where input bits are perturbed by noise. We ...