Sudeep Gupta

Fast compiled logic simulation using linear BDDs
Tata Memorial Center Textbook of Oncology