%0 Conference Paper %1 conf/sat/MakinoTY07 %A Makino, Kazuhisa %A Tamaki, Suguru %A Yamamoto, Masaki %B SAT %D 2007 %E Marques-Silva, João %E Sakallah, Karem A. %I Springer %K dblp %P 187-200 %T On the Boolean Connectivity Problem for Horn Relations. %U http://dblp.uni-trier.de/db/conf/sat/sat2007.html#MakinoTY07 %V 4501 %@ 978-3-540-72787-3

@inproceedings{conf/sat/MakinoTY07, added-at = {2017-05-23T00:00:00.000+0200}, author = {Makino, Kazuhisa and Tamaki, Suguru and Yamamoto, Masaki}, biburl = {https://www.bibsonomy.org/bibtex/2ab394c4010bbabeef1ba6bf42d814a70/dblp}, booktitle = {SAT}, crossref = {conf/sat/2007}, editor = {Marques-Silva, João and Sakallah, Karem A.}, ee = {https://doi.org/10.1007/978-3-540-72788-0_20}, interhash = {adc2f13bf0881b02a32297ea6d015ab6}, intrahash = {ab394c4010bbabeef1ba6bf42d814a70}, isbn = {978-3-540-72787-3}, keywords = {dblp}, pages = {187-200}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-02-25T14:23:06.000+0100}, title = {On the Boolean Connectivity Problem for Horn Relations.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2007.html#MakinoTY07}, volume = 4501, year = 2007 }