Sciweavers

4255 search results - page 47 / 851
» On Learning Boolean Functions
Sort
View
139
Voted
FROCOS
2009
Springer
15 years 11 months ago
Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas
Luca Pulina, Armando Tacchella
83
Voted
DAC
2010
ACM
15 years 9 months ago
BooM: a decision procedure for boolean matching with abstraction and dynamic learning
Chih-Fan Lai, Jie-Hong R. Jiang, Kuo-Hua Wang
COLT
2001
Springer
15 years 9 months ago
On Using Extended Statistical Queries to Avoid Membership Queries
The Kushilevitz-Mansour (KM) algorithm is an algorithm that finds all the “large” Fourier coefficients of a Boolean function. It is the main tool for learning decision trees ...
Nader H. Bshouty, Vitaly Feldman
188
Voted
ACISP
2006
Springer
15 years 11 months ago
On Exact Algebraic [Non-]Immunity of S-Boxes Based on Power Functions
In this paper we are interested in algebraic immunity of several well known highly-nonlinear vectorial Boolean functions (or Sboxes), designed for block and stream ciphers. Unfortu...
Nicolas Courtois, Blandine Debraize, Eric Garrido