Using weighted max-SAT engines to solve MPE, in (2002)

by J D Park
Venue:Proc. of the 18 th AAAI