[IEEE Twenty-Second Annual IEEE Conference on Computational Complexity - San Diego, CA, USA (2007.06.13-2007.03.16)] Twenty-Second Annual IEEE Conference on Computational Complexity (CCC'07) - Testing Properties of Constraint-Graphs
Halevy, Shirley; Lachish, Oded; Newman, Ilan; Tsur, Dekel
- 作者Halevy, Shirley; Lachish, Oded; Newman, Ilan; Tsur, Dekel
- 文件大小291.95KB
- 发表时间2007
- DOI10.1109/ccc.2007.31
- 页码264-277