{"id":"https://openalex.org/W2802670502","doi":"https://doi.org/10.3233/aic-180763","title":"Towards backbone computing: A\u00a0Greedy-Whitening based approach","display_name":"Towards backbone computing: A\u00a0Greedy-Whitening based approach","publication_year":2018,"publication_date":"2018-04-20","ids":{"openalex":"https://openalex.org/W2802670502","doi":"https://doi.org/10.3233/aic-180763","mag":"2802670502"},"language":"en","primary_location":{"id":"doi:10.3233/aic-180763","is_oa":false,"landing_page_url":"https://doi.org/10.3233/aic-180763","pdf_url":null,"source":{"id":"https://openalex.org/S176303223","display_name":"AI Communications","issn_l":"0921-7126","issn":["0921-7126","1875-8452"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"AI Communications","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/A5101993716","display_name":"Yueling Zhang","orcid":"https://orcid.org/0000-0002-5290-5691"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]},{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yueling Zhang","raw_affiliation_strings":["National Research Center of Trustworthy Embedded Software, East China Normal University, China"],"affiliations":[{"raw_affiliation_string":"National Research Center of Trustworthy Embedded Software, East China Normal University, China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100402983","display_name":"Min Zhang","orcid":"https://orcid.org/0000-0003-1938-2902"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]},{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Min Zhang","raw_affiliation_strings":["National Research Center of Trustworthy Embedded Software, East China Normal University, China"],"affiliations":[{"raw_affiliation_string":"National Research Center of Trustworthy Embedded Software, East China Normal University, China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054490662","display_name":"Geguang Pu","orcid":"https://orcid.org/0000-0001-9750-8334"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Geguang Pu","raw_affiliation_strings":["National Research Center of Trustworthy Embedded Software, East China Normal University, China"],"affiliations":[{"raw_affiliation_string":"National Research Center of Trustworthy Embedded Software, East China Normal University, China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027425633","display_name":"Fu Song","orcid":"https://orcid.org/0000-0002-0581-2679"},"institutions":[{"id":"https://openalex.org/I30809798","display_name":"ShanghaiTech University","ror":"https://ror.org/030bhh786","country_code":"CN","type":"education","lineage":["https://openalex.org/I30809798"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Fu Song","raw_affiliation_strings":["School of Information Science and Technology, ShanghaiTech University, China"],"affiliations":[{"raw_affiliation_string":"School of Information Science and Technology, ShanghaiTech University, China","institution_ids":["https://openalex.org/I30809798"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100621773","display_name":"Jianwen Li","orcid":"https://orcid.org/0000-0001-9286-8285"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jianwen Li","raw_affiliation_strings":["National Research Center of Trustworthy Embedded Software, East China Normal University, China"],"affiliations":[{"raw_affiliation_string":"National Research Center of Trustworthy Embedded Software, East China Normal University, China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5101993716"],"corresponding_institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"],"apc_list":null,"apc_paid":null,"fwci":0.1845,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.52962517,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"31","issue":"3","first_page":"267","last_page":"280"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11269","display_name":"Algorithms and Data Compression","score":0.998199999332428,"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/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.9883999824523926,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9045581817626953},{"id":"https://openalex.org/keywords/greedy-algorithm","display_name":"Greedy algorithm","score":0.6130030751228333},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4547003507614136},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33665066957473755},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2554762363433838}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9045581817626953},{"id":"https://openalex.org/C51823790","wikidata":"https://www.wikidata.org/wiki/Q504353","display_name":"Greedy algorithm","level":2,"score":0.6130030751228333},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4547003507614136},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33665066957473755},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2554762363433838}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/aic-180763","is_oa":false,"landing_page_url":"https://doi.org/10.3233/aic-180763","pdf_url":null,"source":{"id":"https://openalex.org/S176303223","display_name":"AI Communications","issn_l":"0921-7126","issn":["0921-7126","1875-8452"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"AI Communications","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5600000023841858,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W73413430","https://openalex.org/W93737390","https://openalex.org/W119554023","https://openalex.org/W1500570021","https://openalex.org/W1502387304","https://openalex.org/W1517476027","https://openalex.org/W1518705996","https://openalex.org/W1538237753","https://openalex.org/W1568839885","https://openalex.org/W1568917966","https://openalex.org/W1650993530","https://openalex.org/W1769298637","https://openalex.org/W1863967017","https://openalex.org/W1956710190","https://openalex.org/W1986985656","https://openalex.org/W2092520161","https://openalex.org/W2129766896","https://openalex.org/W2132740441","https://openalex.org/W2150932843","https://openalex.org/W2182363814","https://openalex.org/W2278865530","https://openalex.org/W2404266688","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W4387497383","https://openalex.org/W3183948672","https://openalex.org/W3173606202","https://openalex.org/W3110381201","https://openalex.org/W2948807893","https://openalex.org/W2935909890","https://openalex.org/W2778153218","https://openalex.org/W2758277628","https://openalex.org/W2748952813","https://openalex.org/W1531601525"],"abstract_inverted_index":{"Backbone":[0,119,151],"is":[1,32,108,121,135,153,185,227],"the":[2,21,29,50,70,77,87,165,169,188,197],"set":[3,147],"of":[4,16,79,102,116,126,148,164,215],"literals":[5,48,127,170],"that":[6,225],"are":[7,49,130,158],"true":[8],"in":[9,24,35,54,63,128,171,187,203,230],"all":[10],"formula\u2019s":[11],"models.":[12],"Computing":[13],"a":[14,59,109,136,204],"part":[15],"backbone":[17,55,67,149,157,184,194],"efficiently":[18],"could":[19],"guide":[20],"following":[22],"searching":[23],"SAT":[25,45,80,94,124,178,216],"solving":[26],"and":[27,40,207,220,232],"accelerate":[28,66],"process,":[30],"which":[31,112,143,174,191],"widely":[33],"used":[34],"fault":[36],"localization,":[37],"product":[38],"configuration,":[39],"formula":[41],"simplification.":[42],"Specifically,":[43],"iterative":[44,193],"testings":[46,81,125],"among":[47],"most":[51],"time":[52],"consumer":[53],"computing.":[56,68],"We":[57,199],"propose":[58],"Greedy-Whitening":[60],"based":[61],"algorithm":[62,111,138],"order":[64],"to":[65,75],"On":[69,86],"one":[71],"hand,":[72,89],"we":[73,90],"try":[74],"reduce":[76],"number":[78],"as":[82,84],"many":[83],"possible.":[85],"other":[88],"make":[91],"every":[92,176],"inventible":[93],"testing":[95,168,179,195],"more":[96,156,180,228],"efficient.":[97,181],"The":[98,105,132,182],"proposed":[99],"approach":[100,202],"consists":[101],"three":[103],"steps.":[104],"first":[106],"step":[107,134,190],"Greedy-based":[110],"computes":[113,144],"an":[114,145,161],"under-approximation":[115],"non-backbone":[117],"BL\u203e\u21c2(\u03a6).":[118],"computing":[120,152,166],"accelerated":[122,154],"since":[123,155],"BL\u203e\u21c2(\u03a6)":[129],"saved.":[131],"second":[133],"Whitening-based":[137],"with":[139],"two":[140],"heuristic":[141],"strategies":[142],"approximation":[146],"BL\u02c6(\u03a6).":[150],"found":[159],"at":[160],"early":[162],"stage":[163],"by":[167],"BL\u02c6(\u03a6)":[172],"first,":[173],"makes":[175],"individual":[177],"exact":[183],"computed":[186],"third":[189],"applies":[192],"on":[196,210],"approximations.":[198],"implemented":[200],"our":[201],"tool":[205],"Bone":[206,226],"conducted":[208],"experiments":[209],"instances":[211],"from":[212],"Industrial":[213],"tracks":[214],"Competitions":[217],"between":[218],"2002":[219],"2016.":[221],"Empirical":[222],"results":[223],"show":[224],"efficient":[229],"industrial":[231],"crafted":[233],"formulas.":[234]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}