generalized-cover-problem

There are 0 repository under generalized-cover-problem topic.

• brandimarte / satisfyme

  A k-satisfiability solver based on Knuth dancing-links X algorithm.

  satisfiability-problemconjunctive-normal-formk-satk-cnfgeneralized-cover-problemdancing-linksnp-complete
  Language:C 0