876 search results - page 1 / 176 » New Results for the Martin Polynomial |
JCT
1998
13 years 5 months ago
1998
FSE
2004
Springer
13 years 10 months ago
2004
Springer
In 1985 Siegenthaler introduced the concept of correlation attacks on LFSR based stream ciphers. A few years later Meier and Staffelbach demonstrated a special technique, usually ...
JGAA
2010
13 years 3 months ago
2010
COCO
2008
Springer
13 years 7 months ago
2008
Springer
ECAI
2008
Springer
13 years 7 months ago
2008
Springer
We provide a characterization of Horn cores for formulas in conjunctive normal form (CNF) and, based on it, a novel algorithm for computing Horn cores of disjunctions of Horn CNFs ...