Model-Theoretic Semantics and Tractable Algorithm for CNF-BCP.

Rahul Roy-Chowdhury, Mukesh Dalal

Browse the full AAAI paper archive.