{"id":"https://openalex.org/W2095578678","doi":"https://doi.org/10.1007/s00224-007-9067-9","title":"Polynomial-Size Binary Decision Diagrams for the Exactly Half-d-Hyperclique Problem Reading Each Input Bit Twice","display_name":"Polynomial-Size Binary Decision Diagrams for the Exactly Half-d-Hyperclique Problem Reading Each Input Bit Twice","publication_year":2007,"publication_date":"2007-10-26","ids":{"openalex":"https://openalex.org/W2095578678","doi":"https://doi.org/10.1007/s00224-007-9067-9","mag":"2095578678"},"language":"en","primary_location":{"id":"doi:10.1007/s00224-007-9067-9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00224-007-9067-9","pdf_url":null,"source":{"id":"https://openalex.org/S4210177266","display_name":"Theory of Computing Systems","issn_l":"1432-4350","issn":["1432-4350","1433-0490"],"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":"Theory of Computing Systems","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/A5027559065","display_name":"Daniel Kr\u00e1l\u034f\u030c","orcid":"https://orcid.org/0000-0001-8680-0890"},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"Daniel Kr\u00e1l\u2019","raw_affiliation_strings":["Department of Applied Mathematics and Institute for Theoretical Computer Science (ITI), Faculty of Mathematics and Physics, Charles University, Malostransk\u00e9 n\u00e1m\u011bst\u00ed 25, 118 00, Prague 1, Czech Republic","Charles University, Department of Applied Mathematics and Institute for Theoretical Computer Science (ITI), Faculty of Mathematics and Physics, Malostransk\u00e9 n\u00e1m\u011bst\u00ed 25, ...#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Applied Mathematics and Institute for Theoretical Computer Science (ITI), Faculty of Mathematics and Physics, Charles University, Malostransk\u00e9 n\u00e1m\u011bst\u00ed 25, 118 00, Prague 1, Czech Republic","institution_ids":["https://openalex.org/I21250087"]},{"raw_affiliation_string":"Charles University, Department of Applied Mathematics and Institute for Theoretical Computer Science (ITI), Faculty of Mathematics and Physics, Malostransk\u00e9 n\u00e1m\u011bst\u00ed 25, ...#TAB#","institution_ids":["https://openalex.org/I21250087"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5027559065"],"corresponding_institution_ids":["https://openalex.org/I21250087"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.14445075,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"45","issue":"1","first_page":"27","last_page":"42"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9987999796867371,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9987999796867371,"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.9979000091552734,"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/T11269","display_name":"Algorithms and Data Compression","score":0.9970999956130981,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/binary-decision-diagram","display_name":"Binary decision diagram","score":0.8545311689376831},{"id":"https://openalex.org/keywords/hypergraph","display_name":"Hypergraph","score":0.6989246010780334},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.6666852235794067},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6065355539321899},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.5705587267875671},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5391974449157715},{"id":"https://openalex.org/keywords/conjecture","display_name":"Conjecture","score":0.5352656841278076},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.42689478397369385},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.41298508644104004},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.21755707263946533},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.09603962302207947}],"concepts":[{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.8545311689376831},{"id":"https://openalex.org/C2781221856","wikidata":"https://www.wikidata.org/wiki/Q840247","display_name":"Hypergraph","level":2,"score":0.6989246010780334},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6666852235794067},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6065355539321899},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.5705587267875671},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5391974449157715},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.5352656841278076},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.42689478397369385},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.41298508644104004},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.21755707263946533},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.09603962302207947}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00224-007-9067-9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00224-007-9067-9","pdf_url":null,"source":{"id":"https://openalex.org/S4210177266","display_name":"Theory of Computing Systems","issn_l":"1432-4350","issn":["1432-4350","1433-0490"],"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":"Theory of Computing Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320322551","display_name":"Simon Fraser University","ror":"https://ror.org/0213rcc28"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W82440427","https://openalex.org/W143396352","https://openalex.org/W198611466","https://openalex.org/W1488809080","https://openalex.org/W1499435886","https://openalex.org/W1517585663","https://openalex.org/W1524205832","https://openalex.org/W1545236313","https://openalex.org/W1882041575","https://openalex.org/W1975124543","https://openalex.org/W2001736707","https://openalex.org/W2013539671","https://openalex.org/W2024698235","https://openalex.org/W2054498950","https://openalex.org/W2070913436","https://openalex.org/W2073505535","https://openalex.org/W2095012419","https://openalex.org/W2108016168","https://openalex.org/W2146117482","https://openalex.org/W2146207150","https://openalex.org/W2157649851","https://openalex.org/W2162199822","https://openalex.org/W2395033936","https://openalex.org/W4206794571","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W257150968","https://openalex.org/W3140601928","https://openalex.org/W1977451125","https://openalex.org/W2168881618","https://openalex.org/W2057159994","https://openalex.org/W2109998394","https://openalex.org/W1608751818","https://openalex.org/W86917440","https://openalex.org/W2133491672","https://openalex.org/W4389483408"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}