{"id":"https://openalex.org/W2140840007","doi":"https://doi.org/10.14778/1453856.1453899","title":"Taming verification hardness","display_name":"Taming verification hardness","publication_year":2008,"publication_date":"2008-08-01","ids":{"openalex":"https://openalex.org/W2140840007","doi":"https://doi.org/10.14778/1453856.1453899","mag":"2140840007"},"language":"en","primary_location":{"id":"doi:10.14778/1453856.1453899","is_oa":false,"landing_page_url":"https://doi.org/10.14778/1453856.1453899","pdf_url":null,"source":{"id":"https://openalex.org/S4210226185","display_name":"Proceedings of the VLDB Endowment","issn_l":"2150-8097","issn":["2150-8097"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the VLDB Endowment","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5110498560","display_name":"Haichuan Shang","orcid":null},"institutions":[{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]},{"id":"https://openalex.org/I42894916","display_name":"Data61","ror":"https://ror.org/03q397159","country_code":"AU","type":"other","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I42894916","https://openalex.org/I4387156119"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"Haichuan Shang","raw_affiliation_strings":["University of New South Wales & NICTA, Sydney, Australia","University of New South Wales and NICTA, Sydney, Australia#TAB#"],"affiliations":[{"raw_affiliation_string":"University of New South Wales & NICTA, Sydney, Australia","institution_ids":["https://openalex.org/I42894916","https://openalex.org/I31746571"]},{"raw_affiliation_string":"University of New South Wales and NICTA, Sydney, Australia#TAB#","institution_ids":["https://openalex.org/I31746571"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100386104","display_name":"Ying Zhang","orcid":"https://orcid.org/0000-0002-2674-1638"},"institutions":[{"id":"https://openalex.org/I42894916","display_name":"Data61","ror":"https://ror.org/03q397159","country_code":"AU","type":"other","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I42894916","https://openalex.org/I4387156119"]},{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Ying Zhang","raw_affiliation_strings":["University of New South Wales & NICTA, Sydney, Australia","University of New South Wales and NICTA, Sydney, Australia#TAB#"],"affiliations":[{"raw_affiliation_string":"University of New South Wales & NICTA, Sydney, Australia","institution_ids":["https://openalex.org/I42894916","https://openalex.org/I31746571"]},{"raw_affiliation_string":"University of New South Wales and NICTA, Sydney, Australia#TAB#","institution_ids":["https://openalex.org/I31746571"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079659938","display_name":"Xuemin Lin","orcid":"https://orcid.org/0000-0003-2396-7225"},"institutions":[{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]},{"id":"https://openalex.org/I42894916","display_name":"Data61","ror":"https://ror.org/03q397159","country_code":"AU","type":"other","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I42894916","https://openalex.org/I4387156119"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Xuemin Lin","raw_affiliation_strings":["University of New South Wales & NICTA, Sydney, Australia","University of New South Wales and NICTA, Sydney, Australia#TAB#"],"affiliations":[{"raw_affiliation_string":"University of New South Wales & NICTA, Sydney, Australia","institution_ids":["https://openalex.org/I42894916","https://openalex.org/I31746571"]},{"raw_affiliation_string":"University of New South Wales and NICTA, Sydney, Australia#TAB#","institution_ids":["https://openalex.org/I31746571"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5075642293","display_name":"Jeffrey Xu Yu","orcid":"https://orcid.org/0000-0002-9738-827X"},"institutions":[{"id":"https://openalex.org/I177725633","display_name":"Chinese University of Hong Kong","ror":"https://ror.org/00t33hh48","country_code":"CN","type":"education","lineage":["https://openalex.org/I177725633"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jeffrey Xu Yu","raw_affiliation_strings":["Chinese university of Hong Kong, Hong Kong, China"],"affiliations":[{"raw_affiliation_string":"Chinese university of Hong Kong, Hong Kong, China","institution_ids":["https://openalex.org/I177725633"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5110498560"],"corresponding_institution_ids":["https://openalex.org/I31746571","https://openalex.org/I42894916"],"apc_list":null,"apc_paid":null,"fwci":12.7695,"has_fulltext":false,"cited_by_count":390,"citation_normalized_percentile":{"value":0.98972522,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":99,"max":100},"biblio":{"volume":"1","issue":"1","first_page":"364","last_page":"375"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12292","display_name":"Graph Theory and Algorithms","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12292","display_name":"Graph Theory and Algorithms","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11273","display_name":"Advanced Graph Neural Networks","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11106","display_name":"Data Management and Algorithms","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7717905640602112},{"id":"https://openalex.org/keywords/subgraph-isomorphism-problem","display_name":"Subgraph isomorphism problem","score":0.7197484970092773},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6359067559242249},{"id":"https://openalex.org/keywords/bottleneck","display_name":"Bottleneck","score":0.6000679731369019},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4692791700363159},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4664900302886963},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.37767738103866577},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3714948296546936},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.1291780173778534}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7717905640602112},{"id":"https://openalex.org/C131992880","wikidata":"https://www.wikidata.org/wiki/Q2528185","display_name":"Subgraph isomorphism problem","level":3,"score":0.7197484970092773},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6359067559242249},{"id":"https://openalex.org/C2780513914","wikidata":"https://www.wikidata.org/wiki/Q18210350","display_name":"Bottleneck","level":2,"score":0.6000679731369019},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4692791700363159},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4664900302886963},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.37767738103866577},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3714948296546936},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.1291780173778534},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.14778/1453856.1453899","is_oa":false,"landing_page_url":"https://doi.org/10.14778/1453856.1453899","pdf_url":null,"source":{"id":"https://openalex.org/S4210226185","display_name":"Proceedings of the VLDB Endowment","issn_l":"2150-8097","issn":["2150-8097"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the VLDB Endowment","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W1489843519","https://openalex.org/W1697372926","https://openalex.org/W1975068437","https://openalex.org/W2011039300","https://openalex.org/W2013363798","https://openalex.org/W2013497015","https://openalex.org/W2027943354","https://openalex.org/W2041140023","https://openalex.org/W2091364465","https://openalex.org/W2102913801","https://openalex.org/W2110034858","https://openalex.org/W2111036405","https://openalex.org/W2112776329","https://openalex.org/W2126359798","https://openalex.org/W2132404003","https://openalex.org/W2137913010","https://openalex.org/W2142965177","https://openalex.org/W2145631416","https://openalex.org/W2169310183","https://openalex.org/W2170726034","https://openalex.org/W2753176400","https://openalex.org/W3111526966","https://openalex.org/W3145128584","https://openalex.org/W4240374930","https://openalex.org/W4249958171","https://openalex.org/W4285719527","https://openalex.org/W4300874750","https://openalex.org/W7029321148","https://openalex.org/W7037065903"],"related_works":["https://openalex.org/W1657880117","https://openalex.org/W2595172197","https://openalex.org/W2127970246","https://openalex.org/W2084856301","https://openalex.org/W1001352512","https://openalex.org/W4382618745","https://openalex.org/W2885125400","https://openalex.org/W1989889224","https://openalex.org/W2011430815","https://openalex.org/W4321606653"],"abstract_inverted_index":{"Graphs":[0],"are":[1,50],"widely":[2],"used":[3],"to":[4,17,21,59,122],"model":[5],"complicated":[6],"data":[7,136],"semantics":[8],"in":[9,98,125],"many":[10],"applications.":[11],"In":[12],"this":[13],"paper,":[14],"we":[15,101,115],"aim":[16],"develop":[18,116],"efficient":[19,107],"techniques":[20,49,76],"retrieve":[22],"graphs,":[23,82],"containing":[24],"a":[25,30,87,104,117],"given":[26],"query":[27,81,91],"graph,":[28],"from":[29],"large":[31],"set":[32],"of":[33,38,46,55,142],"graphs.":[34],"Considering":[35],"the":[36,47,53,61,74,83,90,99,126,138,143,149],"problem":[37],"testing":[39,110],"subgraph":[40,111],"isomorphism":[41],"is":[42],"generally":[43],"NP-hard,":[44],"most":[45],"existing":[48,75,150],"based":[51],"on":[52,132],"framework":[54],"filtering":[56,127],"-and-":[57],"verification":[58,84],"reduce":[60],"precise":[62],"computation":[63],"costs;":[64],"consequently":[65],"various":[66],"novel":[67,105],"feature-based":[68,119],"indexes":[69],"have":[70],"been":[71],"developed.":[72],"While":[73],"work":[77],"well":[78],"for":[79,109],"small":[80],"phase":[85],"becomes":[86],"bottleneck":[88],"when":[89],"graph":[92],"size":[93],"increases.":[94],"Motivated":[95],"by":[96],"this,":[97],"paper":[100],"firstly":[102],"propose":[103],"and":[106,134,140],"algorithm":[108],"isomorphism,":[112],"QuickSI.":[113],"Secondly,":[114],"new":[118],"index":[120],"technique":[121],"accommodate":[123],"QuickSI":[124],"phase.":[128],"Our":[129],"extensive":[130],"experiments":[131],"real":[133],"synthetic":[135],"demonstrate":[137],"efficiency":[139],"scalability":[141],"proposed":[144],"techniques,":[145],"which":[146],"significantly":[147],"improve":[148],"techniques.":[151]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":28},{"year":2024,"cited_by_count":33},{"year":2023,"cited_by_count":21},{"year":2022,"cited_by_count":28},{"year":2021,"cited_by_count":40},{"year":2020,"cited_by_count":25},{"year":2019,"cited_by_count":28},{"year":2018,"cited_by_count":24},{"year":2017,"cited_by_count":21},{"year":2016,"cited_by_count":22},{"year":2015,"cited_by_count":25},{"year":2014,"cited_by_count":18},{"year":2013,"cited_by_count":15},{"year":2012,"cited_by_count":23}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}