Using Weighted MAX-SAT Engines to Solve MPE (2002)

by J D Park
Venue:In Proceedings of the 18th National Conference on Artificial Intelligence and 14th Conference on Innovative Applications of Artificial Intelligence