{"id":"https://openalex.org/W1939635654","doi":"https://doi.org/10.1109/jproc.2015.2480891","title":"Application of a Key\u2013Value Paradigm to Logic Factoring","display_name":"Application of a Key\u2013Value Paradigm to Logic Factoring","publication_year":2015,"publication_date":"2015-10-14","ids":{"openalex":"https://openalex.org/W1939635654","doi":"https://doi.org/10.1109/jproc.2015.2480891","mag":"1939635654"},"language":"en","primary_location":{"id":"doi:10.1109/jproc.2015.2480891","is_oa":false,"landing_page_url":"https://doi.org/10.1109/jproc.2015.2480891","pdf_url":null,"source":{"id":"https://openalex.org/S68686220","display_name":"Proceedings of the IEEE","issn_l":"0018-9219","issn":["0018-9219","1558-2256"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the IEEE","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/A5038911613","display_name":"\u0412. \u0412. \u041a\u0440\u0430\u0432\u0435\u0446","orcid":"https://orcid.org/0000-0002-4475-5427"},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]},{"id":"https://openalex.org/I4210114115","display_name":"IBM Research - Thomas J. Watson Research Center","ror":"https://ror.org/0265w5591","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Victor N. Kravets","raw_affiliation_strings":["IBM T. J. Watson Research Center, Yorktown Heights, NY, USA","T. J. Watson Res. Center, IBM, Yorktown Heights, NY, USA#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM T. J. Watson Research Center, Yorktown Heights, NY, USA","institution_ids":["https://openalex.org/I4210114115"]},{"raw_affiliation_string":"T. J. Watson Res. Center, IBM, Yorktown Heights, NY, USA#TAB#","institution_ids":["https://openalex.org/I1341412227"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5038911613"],"corresponding_institution_ids":["https://openalex.org/I1341412227","https://openalex.org/I4210114115"],"apc_list":{"value":2645,"currency":"USD","value_usd":2645},"apc_paid":null,"fwci":0.6728,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.72605765,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"103","issue":"11","first_page":"2076","last_page":"2092"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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.9998000264167786,"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/T11522","display_name":"VLSI and FPGA Design Techniques","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"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9995999932289124,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/factoring","display_name":"Factoring","score":0.8874908089637756},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6671009063720703},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.6404076814651489},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5205293893814087},{"id":"https://openalex.org/keywords/logic-synthesis","display_name":"Logic synthesis","score":0.5156337022781372},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4927392303943634},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4340308904647827},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4299386143684387},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.39181381464004517},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.3917163014411926},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.35982710123062134},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.29103538393974304},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.16782993078231812}],"concepts":[{"id":"https://openalex.org/C177225278","wikidata":"https://www.wikidata.org/wiki/Q192674","display_name":"Factoring","level":2,"score":0.8874908089637756},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6671009063720703},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.6404076814651489},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5205293893814087},{"id":"https://openalex.org/C157922185","wikidata":"https://www.wikidata.org/wiki/Q173198","display_name":"Logic synthesis","level":3,"score":0.5156337022781372},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4927392303943634},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4340308904647827},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4299386143684387},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.39181381464004517},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3917163014411926},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.35982710123062134},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.29103538393974304},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.16782993078231812},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","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/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/jproc.2015.2480891","is_oa":false,"landing_page_url":"https://doi.org/10.1109/jproc.2015.2480891","pdf_url":null,"source":{"id":"https://openalex.org/S68686220","display_name":"Proceedings of the IEEE","issn_l":"0018-9219","issn":["0018-9219","1558-2256"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the IEEE","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.6600000262260437}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W1489167937","https://openalex.org/W1511688816","https://openalex.org/W1523307303","https://openalex.org/W1528837436","https://openalex.org/W1554398046","https://openalex.org/W1574395808","https://openalex.org/W1993932586","https://openalex.org/W2006115588","https://openalex.org/W2035076177","https://openalex.org/W2036887642","https://openalex.org/W2042199077","https://openalex.org/W2042714660","https://openalex.org/W2080267935","https://openalex.org/W2093176534","https://openalex.org/W2103460560","https://openalex.org/W2104680817","https://openalex.org/W2105761964","https://openalex.org/W2109259936","https://openalex.org/W2124078793","https://openalex.org/W2124582661","https://openalex.org/W2130402533","https://openalex.org/W2133120537","https://openalex.org/W2134103145","https://openalex.org/W2140727935","https://openalex.org/W2146450772","https://openalex.org/W2152466475","https://openalex.org/W2154273644","https://openalex.org/W2154291650","https://openalex.org/W2159341052","https://openalex.org/W2160073079","https://openalex.org/W2163100662","https://openalex.org/W2166856993","https://openalex.org/W2173213060","https://openalex.org/W4242222923","https://openalex.org/W4243399171","https://openalex.org/W6631725144","https://openalex.org/W6682003580","https://openalex.org/W6682540608","https://openalex.org/W6684685492","https://openalex.org/W7020193950"],"related_works":["https://openalex.org/W1497829204","https://openalex.org/W2098419840","https://openalex.org/W1966764473","https://openalex.org/W2130565894","https://openalex.org/W1944377106","https://openalex.org/W2901661247","https://openalex.org/W4312497944","https://openalex.org/W2789349722","https://openalex.org/W1984298705","https://openalex.org/W1985308002"],"abstract_inverted_index":{"Over":[0],"three":[1],"decades":[2],"ago":[3],"an":[4,79],"algebraic":[5],"factoring":[6,77,102],"algorithm":[7,103],"was":[8],"created":[9],"as":[10],"part":[11],"of":[12,32,55,70,94,118,140],"active":[13],"logic":[14,23,76],"synthesis":[15,24,28,72],"efforts":[16],"in":[17,29,78],"the":[18,30,47,68,87,109,116,131],"semiconductor":[19],"industry.":[20],"It":[21,121],"initiated":[22],"successes":[25],"and":[26],"steered":[27],"direction":[31],"practical":[33],"design":[34,41,96],"tools:":[35],"they":[36],"can":[37],"now":[38],"take":[39],"a":[40,52,83,95,125,141],"from":[42],"its":[43,106],"initial":[44],"state":[45],"to":[46,66,81,86,114,134],"final":[48],"chip":[49],"that":[50,104,129],"meets":[51],"complex":[53],"set":[54],"constraints.":[56],"The":[57],"evolved":[58],"computing":[59],"platforms":[60],"today":[61],"stimulate":[62],"new":[63,126],"exploratory":[64],"avenues":[65],"extend":[67],"functionality":[69],"fundamental":[71],"algorithms.":[73],"We":[74],"reexamine":[75],"effort":[80],"establish":[82],"stronger":[84],"connection":[85],"functional":[88],"intent":[89],"rather":[90],"than":[91],"structural":[92],"implications":[93],"description":[97],"within":[98],"synthesis.":[99],"A":[100],"scalable":[101],"reduces":[105],"dependence":[107],"on":[108],"two-level":[110],"minimization":[111],"is":[112,122],"described":[113],"improve":[115],"area":[117],"synthesized":[119],"circuits.":[120],"implemented":[123],"using":[124],"distributed":[127],"environment":[128],"harnesses":[130],"key-value":[132],"concept":[133],"find":[135],"solutions":[136],"through":[137],"systematic":[138],"transformations":[139],"data":[142],"set.":[143]},"counts_by_year":[{"year":2017,"cited_by_count":2}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}