Propositional Abduction with Implicit Hitting Sets

TitlePropositional Abduction with Implicit Hitting Sets
Publication TypeJournal Article
Year of Publication2016
AuthorsIgnatiev, A., A. Morgado, and J. Marques-Silva
JournalarXiv preprint arXiv:1604.08229