{"id":"https://openalex.org/W2093390126","doi":"https://doi.org/10.1142/s0218001490000125","title":"THE ROLE OF LEARNING IN LOGIC SYNTHESIS","display_name":"THE ROLE OF LEARNING IN LOGIC SYNTHESIS","publication_year":1990,"publication_date":"1990-06-01","ids":{"openalex":"https://openalex.org/W2093390126","doi":"https://doi.org/10.1142/s0218001490000125","mag":"2093390126"},"language":"en","primary_location":{"id":"doi:10.1142/s0218001490000125","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218001490000125","pdf_url":null,"source":{"id":"https://openalex.org/S41486457","display_name":"International Journal of Pattern Recognition and Artificial Intelligence","issn_l":"0218-0014","issn":["0218-0014","1793-6381"],"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":"International Journal of Pattern Recognition and Artificial Intelligence","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/A5060843819","display_name":"James R. Kipps","orcid":null},"institutions":[{"id":"https://openalex.org/I204250578","display_name":"University of California, Irvine","ror":"https://ror.org/04gyf1771","country_code":"US","type":"education","lineage":["https://openalex.org/I204250578"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"JAMES R. KIPPS","raw_affiliation_strings":["Department of Information and Computer Science,  University of California, Irvine, Irvine, CA 92717, USA","Department of Information and Computer Science, University of California, Irvine, Irvine, CA 92717, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Information and Computer Science,  University of California, Irvine, Irvine, CA 92717, USA","institution_ids":["https://openalex.org/I204250578"]},{"raw_affiliation_string":"Department of Information and Computer Science, University of California, Irvine, Irvine, CA 92717, USA","institution_ids":["https://openalex.org/I204250578"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025797692","display_name":"Daniel D. Gajski","orcid":null},"institutions":[{"id":"https://openalex.org/I204250578","display_name":"University of California, Irvine","ror":"https://ror.org/04gyf1771","country_code":"US","type":"education","lineage":["https://openalex.org/I204250578"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"DANIEL D. GAJSKI","raw_affiliation_strings":["Department of Information and Computer Science,  University of California, Irvine, Irvine, CA 92717, USA","Department of Information and Computer Science, University of California, Irvine, Irvine, CA 92717, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Information and Computer Science,  University of California, Irvine, Irvine, CA 92717, USA","institution_ids":["https://openalex.org/I204250578"]},{"raw_affiliation_string":"Department of Information and Computer Science, University of California, Irvine, Irvine, CA 92717, USA","institution_ids":["https://openalex.org/I204250578"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I204250578"],"apc_list":null,"apc_paid":null,"fwci":1.978,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.86975747,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"04","issue":"02","first_page":"167","last_page":"180"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9962999820709229,"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.9962999820709229,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9957000017166138,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.7328002452850342},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5978881120681763},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.5857112407684326},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.4715093672275543},{"id":"https://openalex.org/keywords/logic-synthesis","display_name":"Logic synthesis","score":0.4625816345214844},{"id":"https://openalex.org/keywords/quality","display_name":"Quality (philosophy)","score":0.440339058637619},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.2515367269515991},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.13850384950637817}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7328002452850342},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5978881120681763},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.5857112407684326},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.4715093672275543},{"id":"https://openalex.org/C157922185","wikidata":"https://www.wikidata.org/wiki/Q173198","display_name":"Logic synthesis","level":3,"score":0.4625816345214844},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.440339058637619},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.2515367269515991},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.13850384950637817},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0218001490000125","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218001490000125","pdf_url":null,"source":{"id":"https://openalex.org/S41486457","display_name":"International Journal of Pattern Recognition and Artificial Intelligence","issn_l":"0218-0014","issn":["0218-0014","1793-6381"],"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":"International Journal of Pattern Recognition and Artificial Intelligence","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5899999737739563,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W1992354664","https://openalex.org/W1994816478","https://openalex.org/W2022406771","https://openalex.org/W2040722570","https://openalex.org/W2049819684","https://openalex.org/W2051616332","https://openalex.org/W2141563413","https://openalex.org/W2147329351","https://openalex.org/W2161484642","https://openalex.org/W2799004609","https://openalex.org/W3021773363"],"related_works":["https://openalex.org/W2961085424","https://openalex.org/W4306674287","https://openalex.org/W3046775127","https://openalex.org/W3107602296","https://openalex.org/W3170094116","https://openalex.org/W4386462264","https://openalex.org/W4313488044","https://openalex.org/W3209574120","https://openalex.org/W4312192474","https://openalex.org/W4210805261"],"abstract_inverted_index":{"The":[0],"goal":[1],"of":[2,32,59,88,103,116],"logic":[3,15,33],"synthesis":[4,16,34],"is":[5,64],"to":[6,14,44,67,111],"obtain":[7],"high-quality":[8],"designs":[9],"from":[10],"specifications.":[11],"Current":[12],"approaches":[13],"often":[17],"trade":[18],"off":[19],"design":[20,38,54,105],"quality":[21,55],"for":[22,82,97],"technology":[23,48,68,93],"independence.":[24],"In":[25],"this":[26,51],"paper,":[27],"we":[28,73],"present":[29],"a":[30,92],"model":[31,52,76],"that":[35,85,100],"uses":[36],"technology-specific":[37],"rules":[39,84,99],"and":[40,47,95,118],"extends":[41],"rule-based":[42],"search":[43],"functional":[45],"decomposition":[46],"mapping.":[49],"While":[50],"improves":[53],"by":[56],"taking":[57],"advantage":[58],"the":[60,75,114],"target":[61],"technology,":[62],"it":[63],"not":[65],"robust":[66],"changes.":[69],"To":[70],"improve":[71],"robustness,":[72],"augment":[74],"with":[77],"two":[78],"learning":[79,115],"components:":[80],"one":[81],"acquiring":[83,98],"make":[86,101],"use":[87,102],"physical":[89],"cells":[90],"in":[91,113],"library,":[94],"another":[96],"appropriate":[104],"styles.":[106],"These":[107],"components":[108],"are":[109],"related":[110],"work":[112],"macro-operators":[117],"explanation-based":[119],"learning.":[120]},"counts_by_year":[{"year":2013,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}