Widening ROBDDs with Prime Implicants.

Neil Kettle, Andy King, Tadeusz Strzemecki

Browse the full TACAS paper archive.