Using weighted MAX-SAT engines to solve MPE (2002)

by J D Park
Venue:Proceedings of the Eighteenth National Conference on Artificial Intelligence