{"id":"https://openalex.org/W2100052634","doi":"https://doi.org/10.1155/1995/31829","title":"Decomposition and Reduction: GeneralProblem\u2010Solving Paradigms","display_name":"Decomposition and Reduction: GeneralProblem\u2010Solving Paradigms","publication_year":1995,"publication_date":"1995-01-01","ids":{"openalex":"https://openalex.org/W2100052634","doi":"https://doi.org/10.1155/1995/31829","mag":"2100052634"},"language":"en","primary_location":{"id":"doi:10.1155/1995/31829","is_oa":true,"landing_page_url":"http://doi.org/10.1155/1995/31829","pdf_url":"https://downloads.hindawi.com/archive/1995/031829.pdf","source":{"id":"https://openalex.org/S81291924","display_name":"VLSI design","issn_l":"1026-7123","issn":["1026-7123","1065-514X","1563-5171"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"VLSI Design","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://downloads.hindawi.com/archive/1995/031829.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5060257397","display_name":"Michal Z. Serv\u00edt","orcid":null},"institutions":[{"id":"https://openalex.org/I44504214","display_name":"Czech Technical University in Prague","ror":"https://ror.org/03kqpb082","country_code":"CZ","type":"education","lineage":["https://openalex.org/I44504214"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"Michal Serv\u00edt","raw_affiliation_strings":["Department of Computers, Faculty of Electrical Engineering, Czech Technical University, Karlovo n\u00e1m. 13"],"affiliations":[{"raw_affiliation_string":"Department of Computers, Faculty of Electrical Engineering, Czech Technical University, Karlovo n\u00e1m. 13","institution_ids":["https://openalex.org/I44504214"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5015840634","display_name":"Jan Zamazal","orcid":null},"institutions":[{"id":"https://openalex.org/I44504214","display_name":"Czech Technical University in Prague","ror":"https://ror.org/03kqpb082","country_code":"CZ","type":"education","lineage":["https://openalex.org/I44504214"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Jan Zamazal","raw_affiliation_strings":["Department of Computers, Faculty of Electrical Engineering, Czech Technical University, Karlovo nim. 13, 121 35 Prague 2, Czech Republic","Department of Computers, Faculty of Electrical Engineering, Czech Technical University, Karlovo n\u00e1m. 13"],"affiliations":[{"raw_affiliation_string":"Department of Computers, Faculty of Electrical Engineering, Czech Technical University, Karlovo nim. 13, 121 35 Prague 2, Czech Republic","institution_ids":["https://openalex.org/I44504214"]},{"raw_affiliation_string":"Department of Computers, Faculty of Electrical Engineering, Czech Technical University, Karlovo n\u00e1m. 13","institution_ids":["https://openalex.org/I44504214"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5060257397"],"corresponding_institution_ids":["https://openalex.org/I44504214"],"apc_list":null,"apc_paid":null,"fwci":0.5209,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.67363344,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"3","issue":"3-4","first_page":"359","last_page":"371"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9969000220298767,"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.9969000220298767,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9847999811172485,"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.9732000231742859,"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/decomposition","display_name":"Decomposition","score":0.7346625328063965},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.7322384119033813},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4731762707233429},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.34468746185302734},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33443063497543335},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.32911479473114014},{"id":"https://openalex.org/keywords/chemistry","display_name":"Chemistry","score":0.15233036875724792}],"concepts":[{"id":"https://openalex.org/C124681953","wikidata":"https://www.wikidata.org/wiki/Q339062","display_name":"Decomposition","level":2,"score":0.7346625328063965},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.7322384119033813},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4731762707233429},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.34468746185302734},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33443063497543335},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.32911479473114014},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.15233036875724792},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","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}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1155/1995/31829","is_oa":true,"landing_page_url":"http://doi.org/10.1155/1995/31829","pdf_url":"https://downloads.hindawi.com/archive/1995/031829.pdf","source":{"id":"https://openalex.org/S81291924","display_name":"VLSI design","issn_l":"1026-7123","issn":["1026-7123","1065-514X","1563-5171"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"VLSI Design","raw_type":"journal-article"},{"id":"pmh:oai:hindawi.com:10.1155/1995/31829","is_oa":true,"landing_page_url":"https://doi.org/10.1155/1995/31829","pdf_url":null,"source":{"id":"https://openalex.org/S4306400340","display_name":"Hindawi Journal of Chemistry (Hindawi)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210126990","host_organization_name":"Hindawi (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210126990"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":{"id":"doi:10.1155/1995/31829","is_oa":true,"landing_page_url":"http://doi.org/10.1155/1995/31829","pdf_url":"https://downloads.hindawi.com/archive/1995/031829.pdf","source":{"id":"https://openalex.org/S81291924","display_name":"VLSI design","issn_l":"1026-7123","issn":["1026-7123","1065-514X","1563-5171"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"VLSI Design","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2100052634.pdf","grobid_xml":"https://content.openalex.org/works/W2100052634.grobid-xml"},"referenced_works_count":18,"referenced_works":["https://openalex.org/W1559215823","https://openalex.org/W1646038686","https://openalex.org/W1667614912","https://openalex.org/W2007696147","https://openalex.org/W2013310157","https://openalex.org/W2031823362","https://openalex.org/W2036265926","https://openalex.org/W2062897452","https://openalex.org/W2063111778","https://openalex.org/W2103655025","https://openalex.org/W2120762644","https://openalex.org/W2138869493","https://openalex.org/W2139223470","https://openalex.org/W2144185673","https://openalex.org/W2158598102","https://openalex.org/W2160444875","https://openalex.org/W3021035068","https://openalex.org/W4247231097"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W2142036596","https://openalex.org/W2072657027","https://openalex.org/W2600246793","https://openalex.org/W4238204885"],"abstract_inverted_index":{"In":[0],"this":[1,111],"article":[2],"we":[3,45],"will":[4,18,46,63,77,101,117],"be":[5,26,36,78,102,118],"discussing":[6],"the":[7,57,89,98,108,114],"utilization":[8],"of":[9,15,43,56,67,88,94,110],"decomposition":[10,44,53,68],"and":[11,69,104],"reduction":[12,70],"for":[13,113],"development":[14],"algorithms.":[16],"We":[17,62],"assume":[19],"that":[20,34,54],"a":[21,40,48,52,72,105],"given":[22],"problem":[23,116],"instance":[24],"can":[25,35],"somehow":[27],"broken":[28],"up":[29],"into":[30],"two":[31],"smaller":[32],"instances":[33,59],"solved":[37],"separately.":[38],"As":[39],"special":[41],"case":[42],"define":[47,64],"reduction,":[49],"i.e.":[50],"such":[51],"one":[55],"resulting":[58],"is":[60],"trivial.":[61],"several":[65],"versions":[66],"in":[71],"hierarchical":[73],"way.":[74],"Different":[75],"kinds":[76],"distinguished":[79],"by":[80],"their":[81],"ability":[82],"to":[83],"preserve":[84],"an":[85,95],"optimal":[86],"solution":[87],"original":[90],"instance.":[91],"General":[92],"schema":[93,112],"algorithm":[96],"utilizing":[97],"proposed":[99],"notions":[100],"introduced":[103],"case\u2010study":[106],"demonstrating":[107],"adaptation":[109],"covering":[115],"provided.":[119]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}