Prabhakar Ragde | AC Group | TU Wienhttps://ac.tuwien.ac.at/team/prabhakar-ragde/Prabhakar RagdeHugo Blox Builder (https://hugoblox.com)en-usMon, 01 Jan 2007 00:00:00 +0000https://ac.tuwien.ac.at/media/logo_hu10234977157890132473.pngPrabhakar Ragdehttps://ac.tuwien.ac.at/team/prabhakar-ragde/Solving \#SAT using Vertex Covershttps://ac.tuwien.ac.at/publication/solving-sat-using-vertex-covers-2/Mon, 01 Jan 2007 00:00:00 +0000https://ac.tuwien.ac.at/publication/solving-sat-using-vertex-covers-2/Solving \#SAT using Vertex Covershttps://ac.tuwien.ac.at/publication/solving-sat-using-vertex-covers/Sun, 01 Jan 2006 00:00:00 +0000https://ac.tuwien.ac.at/publication/solving-sat-using-vertex-covers/Detecting Backdoor Sets with Respect to Horn and Binary Clauseshttps://ac.tuwien.ac.at/publication/detecting-backdoor-sets-with-respect-to-horn-and-binary-clauses/Thu, 01 Jan 2004 00:00:00 +0000https://ac.tuwien.ac.at/publication/detecting-backdoor-sets-with-respect-to-horn-and-binary-clauses/