Analysis of Boolean Programs.

Patrice Godefroid, Mihalis Yannakakis

Browse the full TACAS paper archive.