{"id":"https://openalex.org/W2004523789","doi":"https://doi.org/10.5539/cis.v1n2p56","title":"An Efficient Method for Generating Optimal OBDD of Boolean Functions","display_name":"An Efficient Method for Generating Optimal OBDD of Boolean Functions","publication_year":2008,"publication_date":"2008-04-19","ids":{"openalex":"https://openalex.org/W2004523789","doi":"https://doi.org/10.5539/cis.v1n2p56","mag":"2004523789"},"language":"en","primary_location":{"id":"doi:10.5539/cis.v1n2p56","is_oa":true,"landing_page_url":"https://doi.org/10.5539/cis.v1n2p56","pdf_url":"https://ccsenet.org/journal/index.php/cis/article/download/1910/1815","source":{"id":"https://openalex.org/S2764452479","display_name":"Computer and Information Science","issn_l":"1913-8989","issn":["1913-8989","1913-8997"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310322531","host_organization_name":"Canadian Center of Science and Education","host_organization_lineage":["https://openalex.org/P4310322531"],"host_organization_lineage_names":["Canadian Center of Science and Education"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computer and Information Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://ccsenet.org/journal/index.php/cis/article/download/1910/1815","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5013082893","display_name":"Ashutosh Kumar Singh","orcid":"https://orcid.org/0000-0002-8053-5050"},"institutions":[{"id":"https://openalex.org/I205640436","display_name":"Curtin University","ror":"https://ror.org/02n415q13","country_code":"AU","type":"education","lineage":["https://openalex.org/I205640436"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"Ashutosh Kumar Singh","raw_affiliation_strings":["School of Engineering and Science, Curtin University of Technology"],"affiliations":[{"raw_affiliation_string":"School of Engineering and Science, Curtin University of Technology","institution_ids":["https://openalex.org/I205640436"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011775237","display_name":"Anand Mohan","orcid":"https://orcid.org/0000-0001-5177-8291"},"institutions":[{"id":"https://openalex.org/I158949172","display_name":"Curtin University Sarawak","ror":"https://ror.org/024fm2y42","country_code":"MY","type":"education","lineage":["https://openalex.org/I158949172"]},{"id":"https://openalex.org/I91357014","display_name":"Banaras Hindu University","ror":"https://ror.org/04cdn2797","country_code":"IN","type":"education","lineage":["https://openalex.org/I91357014"]}],"countries":["IN","MY"],"is_corresponding":false,"raw_author_name":"Anand Mohan","raw_affiliation_strings":["School of Engineering and Science Curtin University of Technology Saarwak Campus, CDT, 250, Miri, Malaysia","Centre for Research in Microprocessor Applications (CRMA), Department of Electronics Engineering, Institute of Technology, Banaras Hindu University"],"affiliations":[{"raw_affiliation_string":"School of Engineering and Science Curtin University of Technology Saarwak Campus, CDT, 250, Miri, Malaysia","institution_ids":["https://openalex.org/I158949172"]},{"raw_affiliation_string":"Centre for Research in Microprocessor Applications (CRMA), Department of Electronics Engineering, Institute of Technology, Banaras Hindu University","institution_ids":["https://openalex.org/I91357014"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5013082893"],"corresponding_institution_ids":["https://openalex.org/I205640436"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.07686862,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"1","issue":"2","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","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/T10142","display_name":"Formal Methods in Verification","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/T10126","display_name":"Logic, programming, and type systems","score":0.9958000183105469,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9950000047683716,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7975618839263916},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.7921642065048218},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.5532895922660828},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5346051454544067},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.5136274695396423},{"id":"https://openalex.org/keywords/table","display_name":"Table (database)","score":0.5110291242599487},{"id":"https://openalex.org/keywords/node","display_name":"Node (physics)","score":0.4658174514770508},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.45742926001548767},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3381164073944092},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.19842904806137085},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.10080105066299438}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7975618839263916},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.7921642065048218},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.5532895922660828},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5346051454544067},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.5136274695396423},{"id":"https://openalex.org/C45235069","wikidata":"https://www.wikidata.org/wiki/Q278425","display_name":"Table (database)","level":2,"score":0.5110291242599487},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.4658174514770508},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.45742926001548767},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3381164073944092},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.19842904806137085},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.10080105066299438},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C66938386","wikidata":"https://www.wikidata.org/wiki/Q633538","display_name":"Structural engineering","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}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.5539/cis.v1n2p56","is_oa":true,"landing_page_url":"https://doi.org/10.5539/cis.v1n2p56","pdf_url":"https://ccsenet.org/journal/index.php/cis/article/download/1910/1815","source":{"id":"https://openalex.org/S2764452479","display_name":"Computer and Information Science","issn_l":"1913-8989","issn":["1913-8989","1913-8997"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310322531","host_organization_name":"Canadian Center of Science and Education","host_organization_lineage":["https://openalex.org/P4310322531"],"host_organization_lineage_names":["Canadian Center of Science and Education"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computer and Information Science","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.666.4061","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.666.4061","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://ccsenet.org/journal/index.php/cis/article/download/1910/1815/","raw_type":"text"},{"id":"pmh:oai:espace.curtin.edu.au:20.500.11937/47374","is_oa":false,"landing_page_url":"http://hdl.handle.net/20.500.11937/47374","pdf_url":null,"source":{"id":"https://openalex.org/S4306401790","display_name":"eSpace (Curtin University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205640436","host_organization_name":"Curtin University","host_organization_lineage":["https://openalex.org/I205640436"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Journal Article"}],"best_oa_location":{"id":"doi:10.5539/cis.v1n2p56","is_oa":true,"landing_page_url":"https://doi.org/10.5539/cis.v1n2p56","pdf_url":"https://ccsenet.org/journal/index.php/cis/article/download/1910/1815","source":{"id":"https://openalex.org/S2764452479","display_name":"Computer and Information Science","issn_l":"1913-8989","issn":["1913-8989","1913-8997"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310322531","host_organization_name":"Canadian Center of Science and Education","host_organization_lineage":["https://openalex.org/P4310322531"],"host_organization_lineage_names":["Canadian Center of Science and Education"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computer and Information Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2004523789.pdf","grobid_xml":"https://content.openalex.org/works/W2004523789.grobid-xml"},"referenced_works_count":22,"referenced_works":["https://openalex.org/W1494035541","https://openalex.org/W1882536651","https://openalex.org/W1977451125","https://openalex.org/W1994143452","https://openalex.org/W2004079116","https://openalex.org/W2030224590","https://openalex.org/W2080267935","https://openalex.org/W2098630364","https://openalex.org/W2099237962","https://openalex.org/W2102128707","https://openalex.org/W2118235397","https://openalex.org/W2126084192","https://openalex.org/W2134103145","https://openalex.org/W2138273756","https://openalex.org/W2141501391","https://openalex.org/W2156394622","https://openalex.org/W2157295479","https://openalex.org/W2159673615","https://openalex.org/W2162833026","https://openalex.org/W2168881618","https://openalex.org/W6675622133","https://openalex.org/W6682738169"],"related_works":["https://openalex.org/W1585007175","https://openalex.org/W2382521049","https://openalex.org/W2144385241","https://openalex.org/W4253593777","https://openalex.org/W2951497643","https://openalex.org/W3101625811","https://openalex.org/W2165950148","https://openalex.org/W4300101996","https://openalex.org/W2948670949","https://openalex.org/W4288047943"],"abstract_inverted_index":{"An":[0],"efficient":[1],"method":[2],"of":[3,7,49,54],"finding":[4],"optimal":[5,23],"(OBDD)":[6],"an":[8],"n":[9],"variable":[10],"Boolean":[11],"function":[12],"is":[13,31],"presented":[14],"that":[15],"offers":[16],"a":[17],"simple":[18],"and":[19,38],"straightforward":[20],"procedure":[21],"for":[22],"OBDD":[24],"generation":[25],"along":[26],"with":[27],"storage":[28],"economy.":[29],"This":[30],"achieved":[32],"by":[33],"generating":[34,50],"n!":[35,52],"fold":[36,45],"tables":[37],"applying":[39],"node":[40],"reduction":[41],"rules":[42],"to":[43],"each":[44],"table":[46],"directly":[47],"instead":[48],"all":[51],"OBDDs":[53],"the":[55],"function.":[56]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}