minimal-model

There are 1 repository under minimal-model topic.

• IslamHamada / Minimize-Sat-Model

  An Algorithm to Minimize The SAT Model Returned By a SAT Solver

  maxsatminimal-modelminisatsat-solving
  Language:C++ 0

• 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