{"id":"https://openalex.org/W2147347640","doi":"https://doi.org/10.1002/scj.4690270302","title":"A simplification algorithm of and\u2010exor expressions guaranteeing minimality for some class of logic functions","display_name":"A simplification algorithm of and\u2010exor expressions guaranteeing minimality for some class of logic functions","publication_year":1996,"publication_date":"1996-01-01","ids":{"openalex":"https://openalex.org/W2147347640","doi":"https://doi.org/10.1002/scj.4690270302","mag":"2147347640"},"language":"en","primary_location":{"id":"doi:10.1002/scj.4690270302","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690270302","pdf_url":null,"source":{"id":"https://openalex.org/S58208175","display_name":"Systems and Computers in Japan","issn_l":"0882-1666","issn":["0882-1666","1520-684X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems and Computers in Japan","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/A5050836747","display_name":"Takashi Hirayama","orcid":"https://orcid.org/0000-0002-3868-2380"},"institutions":[{"id":"https://openalex.org/I165735259","display_name":"Gunma University","ror":"https://ror.org/046fm7598","country_code":"JP","type":"education","lineage":["https://openalex.org/I165735259"]},{"id":"https://openalex.org/I258063972","display_name":"Kiryu University","ror":"https://ror.org/02snehe53","country_code":"JP","type":"education","lineage":["https://openalex.org/I258063972"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Takashi Hirayama","raw_affiliation_strings":["Faculty of Engineering, Gunma University, Kiryu, Japan 376"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Engineering, Gunma University, Kiryu, Japan 376","institution_ids":["https://openalex.org/I165735259","https://openalex.org/I258063972"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5113973373","display_name":"Yasuaki Nishitani","orcid":null},"institutions":[{"id":"https://openalex.org/I165735259","display_name":"Gunma University","ror":"https://ror.org/046fm7598","country_code":"JP","type":"education","lineage":["https://openalex.org/I165735259"]},{"id":"https://openalex.org/I258063972","display_name":"Kiryu University","ror":"https://ror.org/02snehe53","country_code":"JP","type":"education","lineage":["https://openalex.org/I258063972"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Yasuaki Nishitani","raw_affiliation_strings":["Faculty of Engineering, Gunma University, Kiryu, Japan 376"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Engineering, Gunma University, Kiryu, Japan 376","institution_ids":["https://openalex.org/I165735259","https://openalex.org/I258063972"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.24578921,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"27","issue":"3","first_page":"18","last_page":"25"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9861999750137329,"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.9861999750137329,"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.9825000166893005,"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/T11567","display_name":"semigroups and automata theory","score":0.9801999926567078,"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/algorithm","display_name":"Algorithm","score":0.6694239377975464},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.652661144733429},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.6307999491691589},{"id":"https://openalex.org/keywords/minification","display_name":"Minification","score":0.5706297159194946},{"id":"https://openalex.org/keywords/integer","display_name":"Integer (computer science)","score":0.5431432127952576},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4872133135795593},{"id":"https://openalex.org/keywords/expression","display_name":"Expression (computer science)","score":0.46904951333999634},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.4605172872543335},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.45756983757019043},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.3792012333869934},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3126673400402069},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.1249687671661377}],"concepts":[{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.6694239377975464},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.652661144733429},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.6307999491691589},{"id":"https://openalex.org/C147764199","wikidata":"https://www.wikidata.org/wiki/Q6865248","display_name":"Minification","level":2,"score":0.5706297159194946},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.5431432127952576},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4872133135795593},{"id":"https://openalex.org/C90559484","wikidata":"https://www.wikidata.org/wiki/Q778379","display_name":"Expression (computer science)","level":2,"score":0.46904951333999634},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.4605172872543335},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.45756983757019043},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3792012333869934},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3126673400402069},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.1249687671661377},{"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/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/scj.4690270302","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690270302","pdf_url":null,"source":{"id":"https://openalex.org/S58208175","display_name":"Systems and Computers in Japan","issn_l":"0882-1666","issn":["0882-1666","1520-684X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems and Computers in Japan","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W1802780793","https://openalex.org/W1848132463","https://openalex.org/W2064490439","https://openalex.org/W2124869406","https://openalex.org/W2143806343","https://openalex.org/W2737219570"],"related_works":["https://openalex.org/W2007986011","https://openalex.org/W2212615093","https://openalex.org/W2999312112","https://openalex.org/W2346253477","https://openalex.org/W1909384579","https://openalex.org/W3155691820","https://openalex.org/W2952185983","https://openalex.org/W258677105","https://openalex.org/W2474705870","https://openalex.org/W2056017973"],"abstract_inverted_index":{"Abstract":[0],"Among":[1],"all":[2],"AND\u2010EXOR":[3,22,34,48,89,101,117,142],"expressions":[4,23,35,49,90],"that":[5,81,191],"represent":[6],"a":[7,14,51,78,97,115,120,136],"logic":[8,121],"function":[9,122],"f":[10,25,37,42,123,126],",":[11],"those":[12],"with":[13,124],"minimum":[15,21,33,88,116],"number":[16,28,69],"of":[17,24,29,36,47,54,70,100,158],"products":[18,30],"are":[19],"called":[20],".":[26],"The":[27,44],"in":[31],"the":[32,68,86,109,179],"is":[38,67,74,135,162,169,195,217],"denoted":[39],"by":[40,145],"\u03c4(":[41,125],").":[43,177],"minimization":[45,211],"algorithms":[46],"take":[50],"great":[52],"deal":[53],"time":[55,167,194],"for":[56,119,182,197,213],"computing":[57],"(time":[58],"complexity":[59,168],"O":[60,170],"(2":[61],"2":[62],"n":[63,66,198],")),":[64],"where":[65,133],"variables.":[71],"Thus":[72],"it":[73,113,161],"necessary":[75],"to":[76,153],"develop":[77],"simplification":[79,98],"algorithm":[80,99,147,212],"does":[82],"not":[83],"always":[84],"find":[85],"exact":[87,210],"but":[91],"runs":[92],"fast.":[93],"This":[94],"paper":[95],"presents":[96],"expressions,":[102],"which":[103,216],"partially":[104],"guarantees":[105],"minimality":[106],"and":[107,164],"has":[108],"following":[110],"properties:":[111],"(1)":[112],"computes":[114],"expression":[118,143],")":[127],"<":[128],"3(":[129,154],"k":[130,134,155,174,183],"+":[131,156,175],"1),":[132],"nonnegative":[137],"integer;":[138],"(2)":[139],"if":[140],"an":[141,209],"obtained":[144],"this":[146,205],"takes":[148],"less":[149],"than":[150,219],"or":[151],"equal":[152],"1)":[157],"products,":[159],"then":[160],"minimum;":[163],"(3)":[165],"its":[166,192],"(\u03c4":[171],"kn":[172],"2+(":[173],"C)n":[176],"From":[178],"experimental":[180],"results":[181],"=":[184,199],"0,":[185],"1,":[186],"2,":[187],"we":[188,207],"can":[189],"conclude":[190],"computational":[193],"practical":[196],"20,":[200],"7,":[201],"6,":[202],"respectively.":[203],"Modifying":[204],"algorithm,":[206],"present":[208],"5\u2010variable":[214],"functions,":[215],"faster":[218],"previously":[220],"known":[221],"ones.":[222]},"counts_by_year":[],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}