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.
Meel Group
Department of Computer Science
Welcome to the Meel Group’s web page. We are situated at the University of Toronto.