Login / Signup
Dása Krasnayová
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 1
Top Topics
Boolean Functions
Theorem Prover
Read Once Formulas
Prime Implicants
Top Venues
Discret. Math.
</>
Publications
</>
Faruk Göloglu
,
Dása Krasnayová
Proofs of several conjectures on linear codes from Boolean functions.
Discret. Math.
342 (2) (2019)