%0 Journal Article %1 journals/tcs/MakinoTY11 %A Makino, Kazuhisa %A Tamaki, Suguru %A Yamamoto, Masaki %D 2011 %J Theor. Comput. Sci. %K dblp %N 35 %P 4613-4618 %T An exact algorithm for the Boolean connectivity problem for k-CNF. %U http://dblp.uni-trier.de/db/journals/tcs/tcs412.html#MakinoTY11 %V 412

@article{journals/tcs/MakinoTY11, added-at = {2021-02-17T00:00:00.000+0100}, author = {Makino, Kazuhisa and Tamaki, Suguru and Yamamoto, Masaki}, biburl = {https://www.bibsonomy.org/bibtex/2ee48232382fe46a8fd1887a1b4c5a0fe/dblp}, ee = {https://doi.org/10.1016/j.tcs.2011.04.041}, interhash = {54b2e32fc5543e51bfae007993fb6b81}, intrahash = {ee48232382fe46a8fd1887a1b4c5a0fe}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 35, pages = {4613-4618}, timestamp = {2024-04-08T18:51:03.000+0200}, title = {An exact algorithm for the Boolean connectivity problem for k-CNF.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs412.html#MakinoTY11}, volume = 412, year = 2011 }