![[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]()
[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-GraphsHalevy, Shirley; Lachish, Oded; Newman, Ilan; Tsur, Dekel · 2007