Local-to-Global Consistency Implies Tractability of Abduction

Open in new window