Kirill Shoikhet
发表
Allon Adir,
Ofer Peled,
Hezi Azatchi,
2005,
Proceedings. 42nd Design Automation Conference, 2005..
Dan Geiger,
Kirill Shoikhet,
D. Geiger,
1997,
AAAI/IAAI.