An Exact Algorithm for the Boolean Connectivity Problem for

Kazuhisa Makino, Suguru Tamaki, Masaki Yamamoto

Browse the full SAT paper archive.