Enrico Giunchiglia Marco Maratea optsat: A Tool for Solving SAT Related Optimization Problems. 485-489 2006 conf/jelia/2006 JELIA http://dx.doi.org/10.1007/11853886_43 db/conf/jelia/jelia2006.html#GiunchigliaM06