Prabhakar Ragde

Recent Publications

Solving #SAT using Vertex Covers

2007

Detecting Backdoor Sets with Respect to Horn and Binary Clauses

2004