Using weighted max-sat engines to solve mpe (2002)

by J Park
Venue:For Peer Review Only