4255 search results - page 48 / 851 » On Learning Boolean Functions |
DAM
2008
13 years 10 months ago
2008
We define an infinite class of 2-pile subtraction games, where the amount that can be subtracted from both piles simultaneously is an extended Boolean function f of the size of th...
COCO
2001
Springer
14 years 2 months ago
2001
Springer
Restricting the search space {0, 1}n to the set of truth tables of “easy” Boolean functions on log n variables, as well as using some known hardness-randomness tradeoffs, we ...
FOCS
1994
IEEE
14 years 2 months ago
1994
IEEE
This paper concerns the open problem of Lov
DATE
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper introduces a new SAT solver that integrates logicbased reasoning and integer programming methods to systems of CNF and PB constraints. Its novel features include an eff...
SIAMCOMP
2000
13 years 9 months ago
2000
Abstract. We consider two natural generalizations of the notion of transversal to a finite hypergraph, arising in data-mining and machine learning, the so called multiple and parti...