"MaxUSE: A Tool for Finding Achievable Constraints and Conflicts for ..."

Hao Wu (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics