Skip to content

Include a Tseiten encoding #5

Closed
#6
Closed
Include a Tseiten encoding#5
#6
Assignees
haz
Labels
enhancementNew feature or request
Milestone
0.3.0

Description

@haz
haz
opened on Jul 22, 2020

Any circuit can be converted to CNF in polynomial time with the overhead of newly introduced variables. This is an essential encoding to include.

Activity

  1. haz
    added
    enhancementNew feature or request
    on Jul 22, 2020
  2. haz
    self-assigned this
    on Jul 22, 2020
  3. haz
    closed this as completedin #6on Jul 31, 2020
  4. haz
    added this to the 0.3.0 milestone on Aug 7, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

enhancementNew feature or request

Type

No type

Projects

No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions