Samir Sapra

	2003
2		Samir Sapra, Michael Theobald, Edmund M. Clarke: SAT-Based Algorithms for Logic Minimization. ICCD 2003: 510-
	2002
1		Pankaj Chauhan, Edmund M. Clarke, James H. Kukula, Samir Sapra, Helmut Veith, Dong Wang: Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis. FMCAD 2002: 33-51

Coauthor Index

1	Pankaj Chauhan	[1]
2	Edmund M. Clarke	[1] [2]
3	James H. Kukula	[1]
4	Michael Theobald	[2]
5	Helmut Veith	[1]
6	Dong Wang	[1]