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
Meel Group
Computer Science Department, School of Computing

Welcome to the Meel Group’s web page. We are situated at National University of Singapore.