# of records = 6
homepages/82/2684 conf/sat/KimSJ09 conf/cav/KimJRSPKS08 conf/iccad/WangKG07 journals/jsat/KimJS07 conf/fmcad/KimS06
XML
