Heuristic minimization of Boolean relations using testing techniques.

Abhijit Ghosh, Srinivas Devadas, A. Richard Newton

Browse the full ICCD paper archive.