Skip to content

Factorize GF(2)/CRC polynomials #1

Open
Open
Factorize GF(2)/CRC polynomials#1
@DennisYurichev

Description

@DennisYurichev
DennisYurichev
opened on Jul 9, 2022

See also: "13.3 Factorize GF(2)/CRC polynomials"
Here: https://sat-smt.codes/SAT_SMT_by_example.pdf

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions