{"id":"https://openalex.org/W2918866447","doi":"https://doi.org/10.1109/vlsi-soc.2018.8644855","title":"Two Combinatorial Problems on the Layout of Switching Lattices","display_name":"Two Combinatorial Problems on the Layout of Switching Lattices","publication_year":2018,"publication_date":"2018-10-01","ids":{"openalex":"https://openalex.org/W2918866447","doi":"https://doi.org/10.1109/vlsi-soc.2018.8644855","mag":"2918866447"},"language":"en","primary_location":{"id":"doi:10.1109/vlsi-soc.2018.8644855","is_oa":false,"landing_page_url":"https://doi.org/10.1109/vlsi-soc.2018.8644855","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC)","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/A5032558381","display_name":"Anna Bernasconi","orcid":"https://orcid.org/0000-0003-0263-5221"},"institutions":[{"id":"https://openalex.org/I108290504","display_name":"University of Pisa","ror":"https://ror.org/03ad39j10","country_code":"IT","type":"education","lineage":["https://openalex.org/I108290504"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Anna Bernasconi","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e0 di Pisa, Italy"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 di Pisa, Italy","institution_ids":["https://openalex.org/I108290504"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044088065","display_name":"Antonio Boffa","orcid":"https://orcid.org/0000-0002-8178-135X"},"institutions":[{"id":"https://openalex.org/I108290504","display_name":"University of Pisa","ror":"https://ror.org/03ad39j10","country_code":"IT","type":"education","lineage":["https://openalex.org/I108290504"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Antonio Boffa","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e0 di Pisa, Italy"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 di Pisa, Italy","institution_ids":["https://openalex.org/I108290504"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006557955","display_name":"Fabrizio Luccio","orcid":null},"institutions":[{"id":"https://openalex.org/I108290504","display_name":"University of Pisa","ror":"https://ror.org/03ad39j10","country_code":"IT","type":"education","lineage":["https://openalex.org/I108290504"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Fabrizio Luccio","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e0 di Pisa, Italy"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 di Pisa, Italy","institution_ids":["https://openalex.org/I108290504"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073016367","display_name":"Linda Pagli","orcid":"https://orcid.org/0000-0003-3717-3952"},"institutions":[{"id":"https://openalex.org/I108290504","display_name":"University of Pisa","ror":"https://ror.org/03ad39j10","country_code":"IT","type":"education","lineage":["https://openalex.org/I108290504"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Linda Pagli","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e0 di Pisa, Italy"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 di Pisa, Italy","institution_ids":["https://openalex.org/I108290504"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5032558381"],"corresponding_institution_ids":["https://openalex.org/I108290504"],"apc_list":null,"apc_paid":null,"fwci":0.2758,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.57996619,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"137","last_page":"142"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9975000023841858,"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/T10142","display_name":"Formal Methods in Verification","score":0.9951000213623047,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/literal","display_name":"Literal (mathematical logic)","score":0.8233304619789124},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.616987407207489},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.5970800518989563},{"id":"https://openalex.org/keywords/lattice","display_name":"Lattice (music)","score":0.557774007320404},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5408658385276794},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.49951791763305664},{"id":"https://openalex.org/keywords/limit","display_name":"Limit (mathematics)","score":0.4574339985847473},{"id":"https://openalex.org/keywords/combinatorial-optimization","display_name":"Combinatorial optimization","score":0.4424344003200531},{"id":"https://openalex.org/keywords/combinatorial-explosion","display_name":"Combinatorial explosion","score":0.4398559033870697},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3866560459136963},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3457610309123993},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3244423270225525},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.28719955682754517},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.14018160104751587},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.098958820104599}],"concepts":[{"id":"https://openalex.org/C2780882242","wikidata":"https://www.wikidata.org/wiki/Q14235582","display_name":"Literal (mathematical logic)","level":2,"score":0.8233304619789124},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.616987407207489},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.5970800518989563},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.557774007320404},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5408658385276794},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.49951791763305664},{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.4574339985847473},{"id":"https://openalex.org/C52692508","wikidata":"https://www.wikidata.org/wiki/Q1333872","display_name":"Combinatorial optimization","level":2,"score":0.4424344003200531},{"id":"https://openalex.org/C115908005","wikidata":"https://www.wikidata.org/wiki/Q2668364","display_name":"Combinatorial explosion","level":2,"score":0.4398559033870697},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3866560459136963},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3457610309123993},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3244423270225525},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.28719955682754517},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.14018160104751587},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.098958820104599},{"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/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","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":2,"locations":[{"id":"doi:10.1109/vlsi-soc.2018.8644855","is_oa":false,"landing_page_url":"https://doi.org/10.1109/vlsi-soc.2018.8644855","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC)","raw_type":"proceedings-article"},{"id":"pmh:oai:arpi.unipi.it:11568/944516","is_oa":false,"landing_page_url":"http://hdl.handle.net/11568/944516","pdf_url":null,"source":{"id":"https://openalex.org/S4377196265","display_name":"CINECA IRIS Institutial research information system (University of Pisa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I108290504","host_organization_name":"University of Pisa","host_organization_lineage":["https://openalex.org/I108290504"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1969483458","https://openalex.org/W2063710133","https://openalex.org/W2080423274","https://openalex.org/W2125831674","https://openalex.org/W2149951504","https://openalex.org/W2164136814","https://openalex.org/W2167550974","https://openalex.org/W2441637932"],"related_works":["https://openalex.org/W2597689725","https://openalex.org/W2141585233","https://openalex.org/W4320473438","https://openalex.org/W2102619167","https://openalex.org/W3110096993","https://openalex.org/W2176286959","https://openalex.org/W4308081912","https://openalex.org/W3195857052","https://openalex.org/W2092393087","https://openalex.org/W3171871601"],"abstract_inverted_index":{"A":[0],"non":[1],"classical":[2],"approach":[3],"to":[4,88,110,115,118,129,139,150,165],"the":[5,42,45,48,53,57,61,66,80,90,120,130,152],"logic":[6],"synthesis":[7,54],"of":[8,44,63,92,98,122,125,154,178,201],"Boolean":[9],"functions":[10],"based":[11],"on":[12,198],"switching":[13],"lattices":[14],"is":[15,87,160],"considered,":[16],"for":[17,59,103,189],"which":[18],"deriving":[19],"a":[20,112,141,199],"feasible":[21,142],"layout":[22,58,143],"has":[23],"not":[24],"been":[25],"previously":[26],"studied.":[27],"The":[28,84],"problem":[29],"presents":[30],"new":[31],"interesting":[32],"combinatorial":[33],"and":[34,56,169,192],"algorithmic":[35],"aspects.":[36],"Our":[37],"basic":[38],"assumptions":[39],"are":[40,50,101,181,186,196],"that":[41,78,173],"positions":[43],"switches":[46,64],"in":[47,52,73],"lattice":[49,123],"fixed":[51],"stage,":[55],"connecting":[60],"subsets":[62],"with":[65],"same":[67,81,131],"input":[68,99],"literal":[69,114,132],"must":[70],"be":[71,166],"realized":[72],"superimposed":[74],"planes":[75],"through":[76],"vias":[77],"take":[79],"switch":[82],"area.":[83],"overall":[85],"goal":[86],"minimize":[89,119,151],"number":[91,121,153,177],"layers":[93,155,179],"needed.":[94],"Since":[95],"multiple":[96],"choices":[97],"literals":[100],"possible":[102],"each":[104,116],"switch,":[105,117],"we":[106,136],"first":[107],"study":[108,137],"how":[109,138],"assign":[111],"single":[113],"portions":[124],"adjacent":[126],"cells":[127],"associated":[128],"(Problem":[133,156],"1).":[134],"Then":[135],"derive":[140],"by":[144],"building":[145],"connections":[146],"onto":[147],"different":[148],"layers,":[149],"2).":[157],"Problem":[158,162],"1":[159],"NP-hard.":[161],"2":[163],"seems":[164],"also":[167],"intractable,":[168],"exhibits":[170],"limit":[171],"instances":[172],"require":[174],"an":[175],"exceedingly":[176],"or":[180],"even":[182],"unsolvable.":[183],"Heuristic":[184],"algorithms":[185],"then":[187],"developed":[188],"both":[190],"problems":[191],"their":[193],"encouraging":[194],"performances":[195],"proved":[197],"set":[200],"known":[202],"benchmarks.":[203]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}