optsat: A Tool for Solving SAT Related Optimization Problems.

Enrico Giunchiglia, Marco Maratea

Browse the full JELIA paper archive.