Titan: Enabling large and complex benchmarks in academic CAD.

Kevin E. Murray, Scott Whitty, Suya Liu, Jason Luu, Vaughn Betz

Browse the full FPL paper archive.