{"id":"https://openalex.org/W940027509","doi":"https://doi.org/10.1007/978-3-319-15612-5_28","title":"Superset Generation on Decision Diagrams","display_name":"Superset Generation on Decision Diagrams","publication_year":2015,"publication_date":"2015-01-01","ids":{"openalex":"https://openalex.org/W940027509","doi":"https://doi.org/10.1007/978-3-319-15612-5_28","mag":"940027509"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-15612-5_28","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-15612-5_28","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","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/A5011827222","display_name":"Takahisa Toda","orcid":"https://orcid.org/0000-0002-9004-6146"},"institutions":[{"id":"https://openalex.org/I20529979","display_name":"University of Electro-Communications","ror":"https://ror.org/02x73b849","country_code":"JP","type":"education","lineage":["https://openalex.org/I20529979"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Takahisa Toda","raw_affiliation_strings":["Graduate School of Information Systems, The University of Electro-Communications, Chofu, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graduate School of Information Systems, The University of Electro-Communications, Chofu, Japan","institution_ids":["https://openalex.org/I20529979"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073959073","display_name":"Shogo Takeuchi","orcid":"https://orcid.org/0000-0001-5685-5583"},"institutions":[{"id":"https://openalex.org/I205349734","display_name":"Hokkaido University","ror":"https://ror.org/02e16g702","country_code":"JP","type":"education","lineage":["https://openalex.org/I205349734"]},{"id":"https://openalex.org/I4210086780","display_name":"Japan Science and Technology Agency","ror":"https://ror.org/00097mb19","country_code":"JP","type":"government","lineage":["https://openalex.org/I1319490839","https://openalex.org/I4210086780"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Shogo Takeuchi","raw_affiliation_strings":["ERATO MINATO Discrete Structure Manipulation System Project, Japan Science and Technology Agency, Hokkaido University, Sapporo, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ERATO MINATO Discrete Structure Manipulation System Project, Japan Science and Technology Agency, Hokkaido University, Sapporo, Japan","institution_ids":["https://openalex.org/I205349734","https://openalex.org/I4210086780"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070597006","display_name":"Koji Tsuda","orcid":"https://orcid.org/0000-0002-4288-1606"},"institutions":[{"id":"https://openalex.org/I205349734","display_name":"Hokkaido University","ror":"https://ror.org/02e16g702","country_code":"JP","type":"education","lineage":["https://openalex.org/I205349734"]},{"id":"https://openalex.org/I4210086780","display_name":"Japan Science and Technology Agency","ror":"https://ror.org/00097mb19","country_code":"JP","type":"government","lineage":["https://openalex.org/I1319490839","https://openalex.org/I4210086780"]},{"id":"https://openalex.org/I73613424","display_name":"National Institute of Advanced Industrial Science and Technology","ror":"https://ror.org/01703db54","country_code":"JP","type":"government","lineage":["https://openalex.org/I73613424"]},{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Koji Tsuda","raw_affiliation_strings":["Computational Biology Research Center, National Institute of Advanced Industrial Science and Technology (AIST), Tokyo, Japan","ERATO MINATO Discrete Structure Manipulation System Project, Japan Science and Technology Agency, Hokkaido University, Sapporo, Japan","Graduate School of Frontier Sciences, The University of Tokyo, Kashiwa, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computational Biology Research Center, National Institute of Advanced Industrial Science and Technology (AIST), Tokyo, Japan","institution_ids":["https://openalex.org/I73613424"]},{"raw_affiliation_string":"ERATO MINATO Discrete Structure Manipulation System Project, Japan Science and Technology Agency, Hokkaido University, Sapporo, Japan","institution_ids":["https://openalex.org/I205349734","https://openalex.org/I4210086780"]},{"raw_affiliation_string":"Graduate School of Frontier Sciences, The University of Tokyo, Kashiwa, Japan","institution_ids":["https://openalex.org/I74801974"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011807509","display_name":"Shin-ichi Minato","orcid":"https://orcid.org/0000-0002-1397-1020"},"institutions":[{"id":"https://openalex.org/I205349734","display_name":"Hokkaido University","ror":"https://ror.org/02e16g702","country_code":"JP","type":"education","lineage":["https://openalex.org/I205349734"]},{"id":"https://openalex.org/I4210086780","display_name":"Japan Science and Technology Agency","ror":"https://ror.org/00097mb19","country_code":"JP","type":"government","lineage":["https://openalex.org/I1319490839","https://openalex.org/I4210086780"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Shin-ichi Minato","raw_affiliation_strings":["ERATO MINATO Discrete Structure Manipulation System Project, Japan Science and Technology Agency, Hokkaido University, Sapporo, Japan","Graduate School of Information Science and Technology, Hokkaido University, Sapporo, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ERATO MINATO Discrete Structure Manipulation System Project, Japan Science and Technology Agency, Hokkaido University, Sapporo, Japan","institution_ids":["https://openalex.org/I205349734","https://openalex.org/I4210086780"]},{"raw_affiliation_string":"Graduate School of Information Science and Technology, Hokkaido University, Sapporo, Japan","institution_ids":["https://openalex.org/I205349734"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.333,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.44504254,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"317","last_page":"322"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9976000189781189,"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/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9976000189781189,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9925000071525574,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9873999953269958,"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/monotone-polygon","display_name":"Monotone polygon","score":0.7232630848884583},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.7147878408432007},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5430887937545776},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5139255523681641},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.46699845790863037},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.45577454566955566},{"id":"https://openalex.org/keywords/binary-decision-diagram","display_name":"Binary decision diagram","score":0.4513683021068573},{"id":"https://openalex.org/keywords/product-term","display_name":"Product term","score":0.4447910785675049},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3667999505996704},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3136357069015503},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.29720592498779297},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.17279255390167236},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.08985495567321777},{"id":"https://openalex.org/keywords/two-element-boolean-algebra","display_name":"Two-element Boolean algebra","score":0.07260510325431824}],"concepts":[{"id":"https://openalex.org/C2834757","wikidata":"https://www.wikidata.org/wiki/Q4925424","display_name":"Monotone polygon","level":2,"score":0.7232630848884583},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.7147878408432007},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5430887937545776},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5139255523681641},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.46699845790863037},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.45577454566955566},{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.4513683021068573},{"id":"https://openalex.org/C9429942","wikidata":"https://www.wikidata.org/wiki/Q1781698","display_name":"Product term","level":5,"score":0.4447910785675049},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3667999505996704},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3136357069015503},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.29720592498779297},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.17279255390167236},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.08985495567321777},{"id":"https://openalex.org/C207764348","wikidata":"https://www.wikidata.org/wiki/Q7858706","display_name":"Two-element Boolean algebra","level":4,"score":0.07260510325431824},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"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/C169171071","wikidata":"https://www.wikidata.org/wiki/Q5449241","display_name":"Filtered algebra","level":3,"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":1,"locations":[{"id":"doi:10.1007/978-3-319-15612-5_28","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-15612-5_28","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.75,"display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G6247272079","display_name":"A Large-scale Enumeration of Minimal Hitting Sets And Its Application to Knowledge Discovery","funder_award_id":"26870011","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G8547514588","display_name":null,"funder_award_id":"24106010","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"}],"funders":[{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W10012171","https://openalex.org/W105748608","https://openalex.org/W876204075","https://openalex.org/W1592338211","https://openalex.org/W2037492531","https://openalex.org/W2040837160","https://openalex.org/W2307936852","https://openalex.org/W2752853835"],"related_works":["https://openalex.org/W257150968","https://openalex.org/W3140601928","https://openalex.org/W2187008505","https://openalex.org/W1967845326","https://openalex.org/W2109998394","https://openalex.org/W2133491672","https://openalex.org/W648155463","https://openalex.org/W1995041806","https://openalex.org/W2169792446","https://openalex.org/W4248224315"],"abstract_inverted_index":null,"counts_by_year":[{"year":2018,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}