Zurab Khasidashvili

Zurab Khasidashvili

Intel Corporation - California / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 4377060
-
person_outline Zurab Khasidashvili's MOST POPULAR ARTICLES
1-) Relative normalization in deterministic residual structures Colloquium on Trees in Algebra and Programming, 180-195, 1996
2-) Encoding RTL constructs for MathSAT: a preliminary reportM Bozzano, R Bruttomesso, A Cimatti, A Franzén, Z Hanna, ...Electronic Notes in Theoretical Computer Science 144 (2), 3-14, 2006512006
3-) Optimal normalization in orthogonal term rewriting systemsZ KhasidashviliInternational Conference on Rewriting Techniques and Applications, 243-258, 1993511993
4-) Relative normalization in deterministic residual structuresJ Glauert, Z KhasidashviliColloquium on Trees in Algebra and Programming, 180-195, 1996421996
5-) Industrial strength SAT-based alignability algorithm for hardware equivalence verificationD Kaiss, M Skaba, Z Hanna, Z KhasidashviliFormal Methods in Computer Aided Design (FMCAD\'07), 20-26, 2007402007