MIS 1 min read 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: CP 2016 Code