%0 Conference Paper %1 conf/iwoca/BockenhauerK13 %A Böckenhauer, Hans-Joachim %A Keller, Lucia %B IWOCA %D 2013 %E Lecroq, Thierry %E Mouchard, Laurent %I Springer %K dblp %P 54-66 %T On the Approximability of Splitting-SAT in 2-CNF Horn Formulas. %U http://dblp.uni-trier.de/db/conf/iwoca/iwoca2013.html#BockenhauerK13 %V 8288 %@ 978-3-642-45277-2

@inproceedings{conf/iwoca/BockenhauerK13, added-at = {2017-11-06T00:00:00.000+0100}, author = {Böckenhauer, Hans-Joachim and Keller, Lucia}, biburl = {https://www.bibsonomy.org/bibtex/2c70fc9f2f077b0a9f2cd15d8599fbcf1/dblp}, booktitle = {IWOCA}, crossref = {conf/iwoca/2013}, editor = {Lecroq, Thierry and Mouchard, Laurent}, ee = {https://doi.org/10.1007/978-3-642-45278-9_6}, interhash = {3e7991dbc485319722bf36dd04e826ee}, intrahash = {c70fc9f2f077b0a9f2cd15d8599fbcf1}, isbn = {978-3-642-45277-2}, keywords = {dblp}, pages = {54-66}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T12:37:56.000+0200}, title = {On the Approximability of Splitting-SAT in 2-CNF Horn Formulas.}, url = {http://dblp.uni-trier.de/db/conf/iwoca/iwoca2013.html#BockenhauerK13}, volume = 8288, year = 2013 }