{"id":"https://openalex.org/W4312966925","doi":"https://doi.org/10.1109/iscas48785.2022.9937529","title":"Quantified Satisfiability-based Simultaneous Selection of Multiple Local Approximate Changes under Maximum Error Bound","display_name":"Quantified Satisfiability-based Simultaneous Selection of Multiple Local Approximate Changes under Maximum Error Bound","publication_year":2022,"publication_date":"2022-05-28","ids":{"openalex":"https://openalex.org/W4312966925","doi":"https://doi.org/10.1109/iscas48785.2022.9937529"},"language":"en","primary_location":{"id":"doi:10.1109/iscas48785.2022.9937529","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iscas48785.2022.9937529","pdf_url":null,"source":{"id":"https://openalex.org/S4363604393","display_name":"2022 IEEE International Symposium on Circuits and Systems (ISCAS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 IEEE International Symposium on Circuits and Systems (ISCAS)","raw_type":"proceedings-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/A5044734391","display_name":"Chenfei Lou","orcid":null},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chenfei Lou","raw_affiliation_strings":["University of Michigan-Shanghai Jiao Tong University Joint Institute, Shanghai Jiao Tong University,Shanghai,China","University of Michigan-Shanghai Jiao Tong University Joint Institute, Shanghai Jiao Tong University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Michigan-Shanghai Jiao Tong University Joint Institute, Shanghai Jiao Tong University,Shanghai,China","institution_ids":["https://openalex.org/I183067930"]},{"raw_affiliation_string":"University of Michigan-Shanghai Jiao Tong University Joint Institute, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000153296","display_name":"Weihua Xiao","orcid":"https://orcid.org/0000-0003-0142-8829"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Weihua Xiao","raw_affiliation_strings":["University of Michigan-Shanghai Jiao Tong University Joint Institute, Shanghai Jiao Tong University,Shanghai,China","University of Michigan-Shanghai Jiao Tong University Joint Institute, Shanghai Jiao Tong University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Michigan-Shanghai Jiao Tong University Joint Institute, Shanghai Jiao Tong University,Shanghai,China","institution_ids":["https://openalex.org/I183067930"]},{"raw_affiliation_string":"University of Michigan-Shanghai Jiao Tong University Joint Institute, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5036572182","display_name":"Weikang Qian","orcid":"https://orcid.org/0000-0002-5129-9431"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Weikang Qian","raw_affiliation_strings":["University of Michigan-Shanghai Jiao Tong University Joint Institute, Shanghai Jiao Tong University,Shanghai,China","University of Michigan-Shanghai Jiao Tong University Joint Institute, Shanghai Jiao Tong University, Shanghai, China","MoE Key Laboratory of Artificial Intelligence, Shanghai Jiao Tong University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Michigan-Shanghai Jiao Tong University Joint Institute, Shanghai Jiao Tong University,Shanghai,China","institution_ids":["https://openalex.org/I183067930"]},{"raw_affiliation_string":"University of Michigan-Shanghai Jiao Tong University Joint Institute, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]},{"raw_affiliation_string":"MoE Key Laboratory of Artificial Intelligence, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.2758,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.79309895,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"3498","last_page":"3502"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10363","display_name":"Low-power high-performance VLSI design","score":1.0,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10363","display_name":"Low-power high-performance VLSI design","score":1.0,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10472","display_name":"Semiconductor materials and devices","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.6843468546867371},{"id":"https://openalex.org/keywords/multiplexer","display_name":"Multiplexer","score":0.666455864906311},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.6139094829559326},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.571011483669281},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.49962687492370605},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.49912500381469727},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4524111747741699},{"id":"https://openalex.org/keywords/selection","display_name":"Selection (genetic algorithm)","score":0.4442092180252075},{"id":"https://openalex.org/keywords/power","display_name":"Power (physics)","score":0.43301165103912354},{"id":"https://openalex.org/keywords/branch-and-bound","display_name":"Branch and bound","score":0.4212774634361267},{"id":"https://openalex.org/keywords/approximation-error","display_name":"Approximation error","score":0.4146363437175751},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.41133302450180054},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3954877555370331},{"id":"https://openalex.org/keywords/multiplexing","display_name":"Multiplexing","score":0.16368159651756287}],"concepts":[{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.6843468546867371},{"id":"https://openalex.org/C70970002","wikidata":"https://www.wikidata.org/wiki/Q189434","display_name":"Multiplexer","level":3,"score":0.666455864906311},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.6139094829559326},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.571011483669281},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.49962687492370605},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.49912500381469727},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4524111747741699},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.4442092180252075},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.43301165103912354},{"id":"https://openalex.org/C93693863","wikidata":"https://www.wikidata.org/wiki/Q897659","display_name":"Branch and bound","level":2,"score":0.4212774634361267},{"id":"https://openalex.org/C122383733","wikidata":"https://www.wikidata.org/wiki/Q865920","display_name":"Approximation error","level":2,"score":0.4146363437175751},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.41133302450180054},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3954877555370331},{"id":"https://openalex.org/C19275194","wikidata":"https://www.wikidata.org/wiki/Q222903","display_name":"Multiplexing","level":2,"score":0.16368159651756287},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iscas48785.2022.9937529","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iscas48785.2022.9937529","pdf_url":null,"source":{"id":"https://openalex.org/S4363604393","display_name":"2022 IEEE International Symposium on Circuits and Systems (ISCAS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 IEEE International Symposium on Circuits and Systems (ISCAS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W1996431812","https://openalex.org/W2020217519","https://openalex.org/W2034581485","https://openalex.org/W2052067881","https://openalex.org/W2125024536","https://openalex.org/W2141389982","https://openalex.org/W2153848924","https://openalex.org/W2160890478","https://openalex.org/W2242458479","https://openalex.org/W2244005500","https://openalex.org/W2254450385","https://openalex.org/W2401611945","https://openalex.org/W2537354715","https://openalex.org/W2592985765","https://openalex.org/W2798849870","https://openalex.org/W2804278059","https://openalex.org/W2900149931","https://openalex.org/W3092498068","https://openalex.org/W3146543203","https://openalex.org/W4233469764","https://openalex.org/W4234143475","https://openalex.org/W4235991875","https://openalex.org/W4238073361","https://openalex.org/W4245558464","https://openalex.org/W4255265671","https://openalex.org/W6682747685","https://openalex.org/W6752991041","https://openalex.org/W6815203126"],"related_works":["https://openalex.org/W4323268213","https://openalex.org/W2101047079","https://openalex.org/W4242128654","https://openalex.org/W2152549830","https://openalex.org/W1931020284","https://openalex.org/W2389899617","https://openalex.org/W1591098987","https://openalex.org/W4319942994","https://openalex.org/W4394849239","https://openalex.org/W2182290077"],"abstract_inverted_index":{"Approximate":[0],"computing":[1],"is":[2,19,48,122,164],"an":[3],"emerging":[4],"low-power":[5],"design":[6,18],"technique":[7,14],"for":[8,15,110],"error-tolerant":[9],"applications.":[10],"One":[11],"key":[12],"enabling":[13],"approximate":[16,20,38],"circuit":[17,157],"logic":[21],"synthesis":[22],"(ALS).":[23],"Many":[24],"ALS":[25],"methods":[26],"are":[27],"based":[28],"on":[29,93,124],"a":[30,78,86,90,101,105,118,131,173],"scheme":[31,52],"that":[32,136,145,176],"iteratively":[33,177],"selects":[34,178],"one":[35,179],"single":[36,87,180],"local":[37],"change":[39],"(LAC)":[40],"in":[41,85,114],"each":[42,68,111],"round":[43,88],"until":[44],"the":[45,56,108,115,125,147,156,168],"error":[46,95],"bound":[47,92,150],"reached.":[49],"However,":[50],"this":[51,74],"fails":[53],"to":[54,80,129,161],"consider":[55],"joint":[57],"effect":[58],"of":[59,134,151],"multiple":[60,82],"LACs":[61,135],"whose":[62],"induced":[63],"errors":[64],"may":[65],"counteract":[66],"with":[67],"other":[69],"when":[70],"applied":[71,139],"simultaneously.":[72,140],"In":[73],"work,":[75],"we":[76],"propose":[77],"method":[79,154,175],"select":[81],"LAC":[83,112,181],"candidates":[84],"under":[89,146],"given":[91],"maximum":[94],"distance":[96],"(MaxED).":[97],"It":[98],"first":[99],"builds":[100],"miter":[102,126],"by":[103,159,172],"adding":[104],"multiplexer":[106],"into":[107],"network":[109],"candidate":[113],"network.":[116],"Then,":[117],"quantified":[119],"satisfiability":[120],"problem":[121],"formulated":[123],"and":[127],"solved":[128],"obtain":[130],"maximal":[132],"set":[133],"can":[137],"be":[138],"The":[141],"experimental":[142],"results":[143],"show":[144],"normalized":[148],"MaxED":[149],"1%,":[152],"our":[153],"reduces":[155],"area":[158,169],"up":[160],"39%,":[162],"which":[163],"20%":[165],"higher":[166],"than":[167],"reduction":[170],"achieved":[171],"baseline":[174],"per":[182],"round.":[183]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}