Web Survey on Combinatorial Reconfiguration

(back to home) (about this survey)

Filters:


[7]
Kazuhisa Makino, Suguru Tamaki and Masaki Yamamoto,
On the Boolean connectivity problem for Horn relations,
Discrete Applied Mathematics 158(18), pp. 2024-2030, 2010. (LINK)

[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)