{"id":"https://openalex.org/W2015067532","doi":"https://doi.org/10.1142/s0218126615500838","title":"A Multilevel Pseudo-Boolean Satisfiability-Based Approach for Segmented Channel Routing","display_name":"A Multilevel Pseudo-Boolean Satisfiability-Based Approach for Segmented Channel Routing","publication_year":2015,"publication_date":"2015-03-12","ids":{"openalex":"https://openalex.org/W2015067532","doi":"https://doi.org/10.1142/s0218126615500838","mag":"2015067532"},"language":"en","primary_location":{"id":"doi:10.1142/s0218126615500838","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218126615500838","pdf_url":null,"source":{"id":"https://openalex.org/S167602672","display_name":"Journal of Circuits Systems and Computers","issn_l":"0218-1266","issn":["0218-1266","1793-6454"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Circuits, Systems and Computers","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/A5010992280","display_name":"Dahua Zhang","orcid":"https://orcid.org/0000-0002-4606-243X"},"institutions":[{"id":"https://openalex.org/I150229711","display_name":"University of Electronic Science and Technology of China","ror":"https://ror.org/04qr3zq92","country_code":"CN","type":"education","lineage":["https://openalex.org/I150229711"]},{"id":"https://openalex.org/I4210124847","display_name":"National Engineering Research Center of Electromagnetic Radiation Control Materials","ror":"https://ror.org/02k4dcs46","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210124847"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Dahua Zhang","raw_affiliation_strings":["State Key Laboratory of Electronic Thin Films and Integrated Devices, University of Electronic Science and Technology of China, Chengdu 610054, P. R. China","State Key Laboratory of Electronic Thin Films and Integrated Devices, University of Electronic Science and Technology of China, Chengdu 610054, P.R. China"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Electronic Thin Films and Integrated Devices, University of Electronic Science and Technology of China, Chengdu 610054, P. R. China","institution_ids":["https://openalex.org/I4210124847","https://openalex.org/I150229711"]},{"raw_affiliation_string":"State Key Laboratory of Electronic Thin Films and Integrated Devices, University of Electronic Science and Technology of China, Chengdu 610054, P.R. China","institution_ids":["https://openalex.org/I4210124847","https://openalex.org/I150229711"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055460914","display_name":"Wei Li","orcid":"https://orcid.org/0000-0001-8446-5427"},"institutions":[{"id":"https://openalex.org/I150229711","display_name":"University of Electronic Science and Technology of China","ror":"https://ror.org/04qr3zq92","country_code":"CN","type":"education","lineage":["https://openalex.org/I150229711"]},{"id":"https://openalex.org/I4210124847","display_name":"National Engineering Research Center of Electromagnetic Radiation Control Materials","ror":"https://ror.org/02k4dcs46","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210124847"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wei Li","raw_affiliation_strings":["State Key Laboratory of Electronic Thin Films and Integrated Devices, University of Electronic Science and Technology of China, Chengdu 610054, P. R. China","State Key Laboratory of Electronic Thin Films and Integrated Devices, University of Electronic Science and Technology of China, Chengdu 610054, P.R. China"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Electronic Thin Films and Integrated Devices, University of Electronic Science and Technology of China, Chengdu 610054, P. R. China","institution_ids":["https://openalex.org/I4210124847","https://openalex.org/I150229711"]},{"raw_affiliation_string":"State Key Laboratory of Electronic Thin Films and Integrated Devices, University of Electronic Science and Technology of China, Chengdu 610054, P.R. China","institution_ids":["https://openalex.org/I4210124847","https://openalex.org/I150229711"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100716869","display_name":"Tao Du","orcid":"https://orcid.org/0000-0003-3021-0888"},"institutions":[{"id":"https://openalex.org/I150229711","display_name":"University of Electronic Science and Technology of China","ror":"https://ror.org/04qr3zq92","country_code":"CN","type":"education","lineage":["https://openalex.org/I150229711"]},{"id":"https://openalex.org/I4210124847","display_name":"National Engineering Research Center of Electromagnetic Radiation Control Materials","ror":"https://ror.org/02k4dcs46","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210124847"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tao Du","raw_affiliation_strings":["State Key Laboratory of Electronic Thin Films and Integrated Devices, University of Electronic Science and Technology of China, Chengdu 610054, P. R. China","State Key Laboratory of Electronic Thin Films and Integrated Devices, University of Electronic Science and Technology of China, Chengdu 610054, P.R. China"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Electronic Thin Films and Integrated Devices, University of Electronic Science and Technology of China, Chengdu 610054, P. R. China","institution_ids":["https://openalex.org/I4210124847","https://openalex.org/I150229711"]},{"raw_affiliation_string":"State Key Laboratory of Electronic Thin Films and Integrated Devices, University of Electronic Science and Technology of China, Chengdu 610054, P.R. China","institution_ids":["https://openalex.org/I4210124847","https://openalex.org/I150229711"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5010992280"],"corresponding_institution_ids":["https://openalex.org/I150229711","https://openalex.org/I4210124847"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.06517728,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"24","issue":"06","first_page":"1550083","last_page":"1550083"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.9991999864578247,"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/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.7666707038879395},{"id":"https://openalex.org/keywords/routing","display_name":"Routing (electronic design automation)","score":0.6734983325004578},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.635079026222229},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.630474328994751},{"id":"https://openalex.org/keywords/np","display_name":"NP","score":0.5546923875808716},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5466071963310242},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.46682208776474},{"id":"https://openalex.org/keywords/convergence","display_name":"Convergence (economics)","score":0.4453936219215393},{"id":"https://openalex.org/keywords/channel","display_name":"Channel (broadcasting)","score":0.4386579096317291},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4225628077983856},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.4223852753639221},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37404194474220276},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.10294142365455627}],"concepts":[{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.7666707038879395},{"id":"https://openalex.org/C74172769","wikidata":"https://www.wikidata.org/wiki/Q1446839","display_name":"Routing (electronic design automation)","level":2,"score":0.6734983325004578},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.635079026222229},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.630474328994751},{"id":"https://openalex.org/C91331118","wikidata":"https://www.wikidata.org/wiki/Q628036","display_name":"NP","level":4,"score":0.5546923875808716},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5466071963310242},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.46682208776474},{"id":"https://openalex.org/C2777303404","wikidata":"https://www.wikidata.org/wiki/Q759757","display_name":"Convergence (economics)","level":2,"score":0.4453936219215393},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.4386579096317291},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4225628077983856},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.4223852753639221},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37404194474220276},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.10294142365455627},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C29248071","wikidata":"https://www.wikidata.org/wiki/Q163310","display_name":"Turing machine","level":3,"score":0.0},{"id":"https://openalex.org/C50522688","wikidata":"https://www.wikidata.org/wiki/Q189833","display_name":"Economic growth","level":1,"score":0.0},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0218126615500838","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218126615500838","pdf_url":null,"source":{"id":"https://openalex.org/S167602672","display_name":"Journal of Circuits Systems and Computers","issn_l":"0218-1266","issn":["0218-1266","1793-6454"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Circuits, Systems and Computers","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1980806272","https://openalex.org/W1992712466","https://openalex.org/W1999343232","https://openalex.org/W2012516441","https://openalex.org/W2013085877","https://openalex.org/W2039413528","https://openalex.org/W2108795363","https://openalex.org/W2116349445","https://openalex.org/W2124802650","https://openalex.org/W2126268859","https://openalex.org/W2136279265","https://openalex.org/W2147139403","https://openalex.org/W2567036002"],"related_works":["https://openalex.org/W1523547988","https://openalex.org/W3176904788","https://openalex.org/W1531056015","https://openalex.org/W21597398","https://openalex.org/W2091617677","https://openalex.org/W4233053549","https://openalex.org/W4298153058","https://openalex.org/W2408080066","https://openalex.org/W2268872489","https://openalex.org/W1913543287"],"abstract_inverted_index":{"The":[0],"segmented":[1],"channel":[2],"routing":[3,9,58],"problem":[4,59],"is":[5,18,63,84],"fundamental":[6],"to":[7,20,40,86,95],"the":[8,33,54,57,77,88,91,96,99,109,115,126],"of":[10,51,60,75,79,90,101],"row-based":[11],"field":[12],"programmable":[13],"gate":[14],"arrays":[15],"(FPGAs)":[16],"and":[17,56,124],"proven":[19],"be":[21,106],"nondeterministic":[22],"polynomial":[23],"time":[24],"(NP)":[25],"complete.":[26],"In":[27],"this":[28],"paper,":[29],"we":[30],"capitalize":[31],"on":[32],"compelling":[34],"advancements":[35],"in":[36,81],"satisfiability":[37],"(SAT)":[38],"solvers":[39],"propose":[41],"a":[42,66,102],"multilevel":[43],"pseudo-Boolean":[44,67],"SAT-based":[45,97],"approach.":[46,110],"We":[47],"construct":[48],"several":[49],"levels":[50],"hierarchy":[52],"amongst":[53],"nets":[55],"each":[61],"level":[62],"formulated":[64],"as":[65],"optimization":[68,73],"(PBO)":[69],"problem.":[70],"Moreover,":[71],"an":[72],"technique":[74],"reducing":[76],"number":[78],"variables":[80],"PBO":[82],"problems":[83],"described":[85],"improve":[87],"scalability":[89],"proposed":[92,116],"method.":[93],"Similar":[94],"routing,":[98],"unroutability":[100],"given":[103],"circuit":[104],"can":[105],"proved":[107],"by":[108],"Experimental":[111],"results":[112],"show":[113],"that":[114],"method":[117],"compares":[118],"very":[119],"favorably":[120],"with":[121],"existing":[122],"algorithms":[123],"achieves":[125],"best":[127],"convergence":[128],"rate.":[129]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}