Corresponding author: Paul Dunne ( ped@csc.liv.ac.uk ) Citation:
Dunne PE, Leng PH (1999) The Average Case Performance of an Algorithm for Demand-Driven Evaluation of Boolean Formulae. JUCS - Journal of Universal Computer Science 5(5): 288-306. https://doi.org/10.3217/jucs-005-05-0288 |