"Combining MaxSAT Reasoning and Incremental Upper Bound for the Maximum ..."

Chu-Min Li, Zhiwen Fang, Ke Xu (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics