minimal-reduct

There are 0 repository under minimal-reduct topic.

• zhangli-hub123 / minimal-model

  Codes and experimental results for paper《Computing Minimal Model Based on MiniSAT》

  minimal-modelsat-solvercnf-formulaminimal-reductdecomposing-minimal-model
  Language:C++ 0