On the boolean connectivity problem for horn relations (0)

by K MAKINO, S TAMAKI, M YAMAMOTO
Venue:in Proc. 10 th Intl. Conference on Theory and Applications of Satisfiability Testing (SAT), 2007