Detecting Backdoor Sets with Respect to Horn and Binary Clauses.

Naomi Nishimura Prabhakar Ragde Stefan Szeider

Published in: SAT (2004)

Keyphrases

horn clauses
np hard
first order logic
logic programs
inference rules
closed sets
data sets
knowledge base
search algorithm
non binary
function free horn