algebraic-normal-form

There are 0 repository under algebraic-normal-form topic.

• j-danner / 2xnf_sat_solving

  Source code of paper 'SAT Solving Using XOR-OR-AND Normal Forms'

  algebraic-normal-formcnfsat-solvingxnfsat
  4