MIS

MIS computes minimal Independent Support for a given CNF formula. The implementation is based on MIS algorithm proposed in our CP’15 paper, which also won the Best Student Paper Award.

Relevant Papers:

Code