ML Anthology

Roy-Chowdhury, Rahul

1 publications

AAAI 1997 Model-Theoretic Semantics and Tractable Algorithm for CNF-BCP Rahul Roy-Chowdhury, Mukesh Dalal