Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,182,844 papers from all fields of science
Search
Sign In
Create Free Account
Algebraic normal form
Known as:
ANF
, Normal form
In Boolean algebra, the algebraic normal form (ANF), Zhegalkin normal form, or Reed–Muller expansion is a way of writing logical formulas in one of…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
10 relations
Automated theorem proving
Bent function
Conjunctive normal form
Convolutional code
Expand
Broader (1)
Boolean algebra
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2020
2020
On Conversions from CNF to ANF
J. Horácek
,
M. Kreuzer
SC²@ISSAC
2020
Corpus ID: 6934857
Highly Cited
2016
Highly Cited
2016
Complementary Sets of Non-Power-of-Two Length for Peak-to-Average Power Ratio Reduction in OFDM
Chao-Yu Chen
IEEE Transactions on Information Theory
2016
Corpus ID: 16963669
Golay complementary sequences and complementary sets have been proposed to deal with the high peak-to-average power ratio (PAPR…
Expand
2016
2016
Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis
Peter Backeman
,
C. Wintersteiger
,
B. Yordanov
,
Sara-Jane Dunn
SMT@IJCAR
2016
Corpus ID: 8469644
The automation of reasoning has been an aim of research for a long time. Already in 17th century, the famous mathematician…
Expand
2015
2015
OBDA for Temporal Querying and Streams
C. Neuenstadt
,
Ralf Möller
,
Özgür L. Özçep
HiDeSt@KI
2015
Corpus ID: 9580130
Data changes worldwide in size and over time and when new data arrives rapidly from different sources, an easy access to dynamic…
Expand
Highly Cited
2014
Highly Cited
2014
A secondary construction and a transformation on rotation symmetric functions, and their action on bent and semi-bent functions
C. Carlet
,
Guang-pu Gao
,
Wenfen Liu
Journal of combinatorial theory. Series A
2014
Corpus ID: 38827123
2013
2013
Superpoly algebraic normal form monomial test on Trivium
Ali Vardasbi
,
M. Salmasizadeh
,
J. Mohajeri
IET Information Security
2013
Corpus ID: 5081767
Recently, AIDA/cube testers have been revealed to be useful in building distinguishers for several cryptography schemes. χ2 tests…
Expand
Highly Cited
2008
Highly Cited
2008
A multi-dimensional approach to the construction and enumeration of Golay complementary sequences
F. Fiedler
,
J. Jedwab
,
M. Parker
Journal of combinatorial theory. Series A
2008
Corpus ID: 16544531
2007
2007
Evolving cellular automata to generate nonlinear sequences with desirable properties
Syn Kiat Tan
,
S. Guan
Applied Soft Computing
2007
Corpus ID: 15052190
2003
2003
A constructive count of rotation symmetric functions
P. Stănică
,
S. Maitra
Information Processing Letters
2003
Corpus ID: 1597059
1999
1999
Restriction, Terms and Nonlinearity of Boolean Functions
Yuliang Zheng
,
Xian-Mo Zhang
,
H. Imai
Theoretical Computer Science
1999
Corpus ID: 29740611
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE