%0 Journal Article %1 journals/jucs/DunneL99 %A Dunne, Paul E. %A Leng, Paul H. %D 1999 %J J. Univers. Comput. Sci. %K dblp %N 5 %P 288-306 %T The Average Case Performance of an Algorithm for Demand-Driven Evaluation of Boolean Formulae. %U http://dblp.uni-trier.de/db/journals/jucs/jucs5.html#DunneL99 %V 5

@article{journals/jucs/DunneL99, added-at = {2023-09-07T00:00:00.000+0200}, author = {Dunne, Paul E. and Leng, Paul H.}, biburl = {https://www.bibsonomy.org/bibtex/2074af152ee5df3c479a0a4ff861a6eef/dblp}, ee = {https://doi.org/10.3217/jucs-005-05-0288}, interhash = {53042f3f9722ed26b2d51044e0a2b88a}, intrahash = {074af152ee5df3c479a0a4ff861a6eef}, journal = {J. Univers. Comput. Sci.}, keywords = {dblp}, number = 5, pages = {288-306}, timestamp = {2024-04-08T15:58:15.000+0200}, title = {The Average Case Performance of an Algorithm for Demand-Driven Evaluation of Boolean Formulae.}, url = {http://dblp.uni-trier.de/db/journals/jucs/jucs5.html#DunneL99}, volume = 5, year = 1999 }