SAT-Race
2010
Organizing Committee
Chair
Carsten Sinz (Karlsruhe Institute of Technology, Germany)Advisory Panel
Aarti Gupta (NEC Labs America, USA)Youssef Hamadi (Microsoft Research, UK)
Himanshu Jain (Synopsys, USA)
Daniel Le Berre (Université d'Artois, France)
Panagiotis Manolios (Northeastern University, USA)
Yakov Novikov (OneSpin Solutions, Germany)