Solving Weighted Abduction via Max-SAT Solvers.

Yoichi Sasaki, Takanori Maehara, Takumi Akazaki, Kazeto Yamamoto, Kunihiko Sadamasa

Browse the full FlAIRS paper archive.