On the Boolean Connectivity Problem for Horn Relations.

Kazuhisa Makino, Suguru Tamaki, Masaki Yamamoto

Browse the full SAT paper archive.