Showing results 1 to 2 of 2
Abstraction Refinement Guided by a Learnt Probabilistic Model Grigore, Radu y; Yang, Hongseok, ACM SIGPLAN NOTICES, v.51, no.1, pp.485 - 498, 2016-01 |
하이퍼그래프 데이터베이스에서 구조 인덱스를 활용한 효율적인 동형 서브그래프 검색 하대근; 하태욱; 서정혁; 김명호, 정보과학회논문지, v.46, no.7, pp.697 - 705, 2019-07 |
Discover