|Short-Circuit Boolean Expression Evaluation email@example.com (2004-09-14)|
|Re: Short-Circuit Boolean Expression Evaluation firstname.lastname@example.org (Piotr Wyderski) (2004-09-21)|
|From:||"Piotr Wyderski" <email@example.com>|
|Date:||21 Sep 2004 22:15:58 -0400|
|Organization:||Faculty of Computer Science, University of Wroclaw|
|Posted-Date:||21 Sep 2004 22:15:58 EDT|
> I am looking for information on a data structure (and associated
> algorithm) to do short-circuit evaluation of boolean expressions and
> haven't found a single one even after googing for two days!
Ask Google about Binary Decision Diagrams (BDD), you'll find ~15,000
references. Many programs use this data structure and its variants.
> Can anyone point me to good resources
Try any handbook on automatic verification.
> I want to implement the algorithm/data structure in C.
There are several free libraries, perhaps you should use one of them.
Return to the
Search the comp.compilers archives again.