Changes between Initial Version and Version 2 of Ticket #25246


Ignore:
Timestamp:
04/30/18 12:15:56 (4 years ago)
Author:
ruhm
Comment:

New commits:

7781d5einitial implementation of NNF-related computation

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #25246

    • Property Status changed from new to needs_review
    • Property Authors changed from to Rusydi H. Makarim
    • Property Component changed from PLEASE CHANGE to cryptography
    • Property Branch changed from to u/ruhm/nnf
    • Property Keywords Boolean function numerical normal form added
    • Property Commit changed from to 7781d5ebd28c36cae8bd72e472bbc9e5936c20f8
  • Ticket #25246 – Description

    initial v2  
     1This patch contains implementation of function to compute numerical normal form of a Boolean function and the numerical degree (i.e., the degree of its numerical normal form).