Complexity of Propositional Abduction for Restricted Sets of Boolean Functions.

Nadia Creignou, Johannes Schmidt, Michael Thomas

Browse the full KR paper archive.