{"id":"https://openalex.org/W2068665622","doi":"https://doi.org/10.1007/s00500-007-0175-x","title":"Quine\u2013McCluskey method for many-valued logical functions","display_name":"Quine\u2013McCluskey method for many-valued logical functions","publication_year":2007,"publication_date":"2007-04-18","ids":{"openalex":"https://openalex.org/W2068665622","doi":"https://doi.org/10.1007/s00500-007-0175-x","mag":"2068665622"},"language":"en","primary_location":{"id":"doi:10.1007/s00500-007-0175-x","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00500-007-0175-x","pdf_url":null,"source":{"id":"https://openalex.org/S65753830","display_name":"Soft Computing","issn_l":"1432-7643","issn":["1432-7643","1433-7479"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Soft Computing","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/A5066114038","display_name":"Milan Petr\u00edk","orcid":"https://orcid.org/0000-0002-7579-9174"},"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":"Milan Petr\u00edk","raw_affiliation_strings":["Center for Machine Perception, Department of Cybernetics, Faculty of Electrical Engineering, Czech Technical University Technick\u00e1 2, 166 27, Prague 6, Czech Republic","Center for Machine Perception, Department of Cybernetics, Faculty of Electrical Engineering, Czech Technical University Technick\u00e1 2, Prague 6, Czech Republic 166 27#TAB#"],"affiliations":[{"raw_affiliation_string":"Center for Machine Perception, Department of Cybernetics, Faculty of Electrical Engineering, Czech Technical University Technick\u00e1 2, 166 27, Prague 6, Czech Republic","institution_ids":["https://openalex.org/I44504214"]},{"raw_affiliation_string":"Center for Machine Perception, Department of Cybernetics, Faculty of Electrical Engineering, Czech Technical University Technick\u00e1 2, Prague 6, Czech Republic 166 27#TAB#","institution_ids":["https://openalex.org/I44504214"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5066114038"],"corresponding_institution_ids":["https://openalex.org/I44504214"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.12976635,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"12","issue":"4","first_page":"393","last_page":"402"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9998999834060669,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9998999834060669,"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/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9986000061035156,"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/T11567","display_name":"semigroups and automata theory","score":0.9923999905586243,"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/generalization","display_name":"Generalization","score":0.7149600982666016},{"id":"https://openalex.org/keywords/quine","display_name":"Quine","score":0.558303713798523},{"id":"https://openalex.org/keywords/truth-table","display_name":"Truth table","score":0.5432726740837097},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5142614245414734},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4900592565536499},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.48796409368515015},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4622468948364258},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.40496376156806946},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.39489033818244934},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3929656744003296},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3581504821777344},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.20092689990997314},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.19121289253234863},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.08178356289863586}],"concepts":[{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.7149600982666016},{"id":"https://openalex.org/C9270016","wikidata":"https://www.wikidata.org/wiki/Q1047886","display_name":"Quine","level":2,"score":0.558303713798523},{"id":"https://openalex.org/C56949724","wikidata":"https://www.wikidata.org/wiki/Q219079","display_name":"Truth table","level":2,"score":0.5432726740837097},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5142614245414734},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4900592565536499},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.48796409368515015},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4622468948364258},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.40496376156806946},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.39489033818244934},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3929656744003296},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3581504821777344},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.20092689990997314},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.19121289253234863},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.08178356289863586},{"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/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","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},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00500-007-0175-x","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00500-007-0175-x","pdf_url":null,"source":{"id":"https://openalex.org/S65753830","display_name":"Soft Computing","issn_l":"1432-7643","issn":["1432-7643","1433-7479"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Soft Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","score":0.4099999964237213,"display_name":"Reduced inequalities"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320321006","display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky","ror":"https://ror.org/01pv73b02"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W1510109628","https://openalex.org/W1518305121","https://openalex.org/W2000407413","https://openalex.org/W2319549361"],"related_works":["https://openalex.org/W2034881304","https://openalex.org/W2055191027","https://openalex.org/W2061937439","https://openalex.org/W1971753667","https://openalex.org/W2167683897","https://openalex.org/W2052275678","https://openalex.org/W1997271576","https://openalex.org/W2370854018","https://openalex.org/W2348187822","https://openalex.org/W2559473971"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}