Reference 13

(back to home) (about this survey)

[13]
Kazuhisa Makino, Suguru Tamaki and Masaki Yamamoto,
An exact algorithm for the Boolean connectivity problem for k-CNF,
Theoretical Computer Science 412(35), pp. 4613-4618, 2011. (LINK)