Dynamic Boolean Formula Evaluation.

Rathish Das, Andrea Lincoln, Jayson Lynch, J. Ian Munro

Browse the full ISAAC paper archive.