Efficient Diagnostic Generation for Boolean Equation Systems.

Radu Mateescu

Browse the full TACAS paper archive.