%0 Conference Paper %1 conf/icalp/BuchfuhrerU08 %A Buchfuhrer, David %A Umans, Christopher %B ICALP (1) %D 2008 %E Aceto, Luca %E Damgård, Ivan %E Goldberg, Leslie Ann %E Halldórsson, Magnús M. %E Ingólfsdóttir, Anna %E Walukiewicz, Igor %I Springer %K dblp %P 24-35 %T The Complexity of Boolean Formula Minimization. %U http://dblp.uni-trier.de/db/conf/icalp/icalp2008-1.html#BuchfuhrerU08 %V 5125 %@ 978-3-540-70574-1

@inproceedings{conf/icalp/BuchfuhrerU08, added-at = {2018-11-14T00:00:00.000+0100}, author = {Buchfuhrer, David and Umans, Christopher}, biburl = {https://www.bibsonomy.org/bibtex/237e8e1a5dd43ae1e2ebe2f81fd1ed633/dblp}, booktitle = {ICALP (1)}, crossref = {conf/icalp/2008-1}, editor = {Aceto, Luca and Damgård, Ivan and Goldberg, Leslie Ann and Halldórsson, Magnús M. and Ingólfsdóttir, Anna and Walukiewicz, Igor}, ee = {https://www.wikidata.org/entity/Q56813874}, interhash = {132bf48d97550e81cdb40a88f924be86}, intrahash = {37e8e1a5dd43ae1e2ebe2f81fd1ed633}, isbn = {978-3-540-70574-1}, keywords = {dblp}, pages = {24-35}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:28:16.000+0200}, title = {The Complexity of Boolean Formula Minimization.}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp2008-1.html#BuchfuhrerU08}, volume = 5125, year = 2008 }