%0 Journal Article %1 journals/jcss/BuchfuhrerU11 %A Buchfuhrer, David %A Umans, Christopher %D 2011 %J J. Comput. Syst. Sci. %K dblp %N 1 %P 142-153 %T The complexity of Boolean formula minimization. %U http://dblp.uni-trier.de/db/journals/jcss/jcss77.html#BuchfuhrerU11 %V 77

@article{journals/jcss/BuchfuhrerU11, added-at = {2021-02-16T00:00:00.000+0100}, author = {Buchfuhrer, David and Umans, Christopher}, biburl = {https://www.bibsonomy.org/bibtex/27988f6126ef9ccb33b096f56c1162838/dblp}, ee = {https://www.wikidata.org/entity/Q29300594}, interhash = {005cba24daa2a52c1878b9fc73797e14}, intrahash = {7988f6126ef9ccb33b096f56c1162838}, journal = {J. Comput. Syst. Sci.}, keywords = {dblp}, number = 1, pages = {142-153}, timestamp = {2024-04-08T19:15:05.000+0200}, title = {The complexity of Boolean formula minimization.}, url = {http://dblp.uni-trier.de/db/journals/jcss/jcss77.html#BuchfuhrerU11}, volume = 77, year = 2011 }