{"id":"https://openalex.org/W2067082698","doi":"https://doi.org/10.1109/dt.2014.6868712","title":"Minimal Cut Sets and Path Sets in Binary Decision Diagrams and logical differential calculus","display_name":"Minimal Cut Sets and Path Sets in Binary Decision Diagrams and logical differential calculus","publication_year":2014,"publication_date":"2014-07-01","ids":{"openalex":"https://openalex.org/W2067082698","doi":"https://doi.org/10.1109/dt.2014.6868712","mag":"2067082698"},"language":"en","primary_location":{"id":"doi:10.1109/dt.2014.6868712","doi":"https://doi.org/10.1109/dt.2014.6868712","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dt.2014.6868712","pdf_url":null,"source":{"id":"https://openalex.org/S4306498196","display_name":"International Conference on Information and Digital Technologies (IDT)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The 10th International Conference on Digital Technologies 2014","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"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/A5090286350","display_name":"Miroslav Kva\u0161\u0161ay","orcid":"https://orcid.org/0000-0002-6450-5417","observed_orcids":["https://orcid.org/0000-0002-6450-5417"]},"institutions":[{"id":"https://openalex.org/I3122011922","display_name":"University of \u017dilina","ror":"https://ror.org/031wwwj55","country_code":"SK","type":"education","lineage":["https://openalex.org/I3122011922"]}],"countries":["SK"],"is_corresponding":false,"raw_author_name":"Miroslav Kvassay","raw_affiliation_strings":["Faculty of Management Science and Informatics, University of Zilina, Zilina, Slovakia","Fac. of Manage. Sci. & Inf., Univ. of Zilina, Zilina, Slovakia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Management Science and Informatics, University of Zilina, Zilina, Slovakia","institution_ids":["https://openalex.org/I3122011922"]},{"raw_affiliation_string":"Fac. of Manage. Sci. & Inf., Univ. of Zilina, Zilina, Slovakia","institution_ids":["https://openalex.org/I3122011922"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5047927390","display_name":"Jozef Kostoln\u00fd","orcid":"https://orcid.org/0000-0003-4729-7932","observed_orcids":["https://orcid.org/0000-0003-4729-7932"]},"institutions":[{"id":"https://openalex.org/I3122011922","display_name":"University of \u017dilina","ror":"https://ror.org/031wwwj55","country_code":"SK","type":"education","lineage":["https://openalex.org/I3122011922"]}],"countries":["SK"],"is_corresponding":false,"raw_author_name":"Jozef Kostolny","raw_affiliation_strings":["Faculty of Management Science and Informatics, University of Zilina, Zilina, Slovakia","Fac. of Manage. Sci. & Inf., Univ. of Zilina, Zilina, Slovakia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Management Science and Informatics, University of Zilina, Zilina, Slovakia","institution_ids":["https://openalex.org/I3122011922"]},{"raw_affiliation_string":"Fac. of Manage. Sci. & Inf., Univ. of Zilina, Zilina, Slovakia","institution_ids":["https://openalex.org/I3122011922"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I3122011922"],"apc_list":null,"apc_paid":null,"fwci":0.7686,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.67645278,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":87,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"179","last_page":"186"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11357","display_name":"Risk and Safety Analysis","score":0.5396000146865845,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11357","display_name":"Risk and Safety Analysis","score":0.5396000146865845,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"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/T10780","display_name":"Reliability and Maintenance Optimization","score":0.2094999998807907,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"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/T10142","display_name":"Formal Methods in Verification","score":0.12950000166893005,"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/binary-decision-diagrams","display_name":"binary decision diagrams","score":0.8980000019073486},{"id":"https://openalex.org/keywords/minimal-cut-sets","display_name":"minimal cut sets","score":1.0},{"id":"https://openalex.org/keywords/minimal-path-sets","display_name":"minimal path sets","score":1.0},{"id":"https://openalex.org/keywords/reliability-analysis","display_name":"reliability analysis","score":0.8169999718666077},{"id":"https://openalex.org/keywords/system-reliability","display_name":"system reliability","score":0.5860000252723694}],"concepts":[{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.8703516721725464},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5979011654853821},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.5846797227859497},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5606933832168579},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5265334248542786},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.49880313873291016},{"id":"https://openalex.org/C75553542","wikidata":"https://www.wikidata.org/wiki/Q178161","display_name":"A priori and a posteriori","level":2,"score":0.4934016764163971},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.44279250502586365},{"id":"https://openalex.org/C56802139","wikidata":"https://www.wikidata.org/wiki/Q149999","display_name":"Differential calculus","level":2,"score":0.43855977058410645},{"id":"https://openalex.org/C56949724","wikidata":"https://www.wikidata.org/wiki/Q219079","display_name":"Truth table","level":2,"score":0.43705445528030396},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.43376198410987854},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.39566561579704285},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35232996940612793},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14130434393882751},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.10835191607475281},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.09457463026046753},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"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/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/dt.2014.6868712","doi":"https://doi.org/10.1109/dt.2014.6868712","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dt.2014.6868712","pdf_url":null,"source":{"id":"https://openalex.org/S4306498196","display_name":"International Conference on Information and Digital Technologies (IDT)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The 10th International Conference on Digital Technologies 2014","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W650512571","https://openalex.org/W1965930854","https://openalex.org/W1977279077","https://openalex.org/W1981473248","https://openalex.org/W2015951551","https://openalex.org/W2016208870","https://openalex.org/W2021490058","https://openalex.org/W2025352125","https://openalex.org/W2052219273","https://openalex.org/W2061964478","https://openalex.org/W2062054804","https://openalex.org/W2069057809","https://openalex.org/W2070645909","https://openalex.org/W2080267935","https://openalex.org/W2084700596","https://openalex.org/W2092420079","https://openalex.org/W2125445628","https://openalex.org/W2152803417","https://openalex.org/W2162222625","https://openalex.org/W4229663176","https://openalex.org/W4247508066"],"related_works":["https://openalex.org/W2158963168","https://openalex.org/W2358523714","https://openalex.org/W2479345352","https://openalex.org/W2026020722","https://openalex.org/W2314784835","https://openalex.org/W7097065852","https://openalex.org/W4384405969","https://openalex.org/W7222379677","https://openalex.org/W2155566064","https://openalex.org/W2611290473"],"abstract_inverted_index":{"Reliability":[0],"is":[1,16,119,156,171],"an":[2],"important":[3,11],"characteristic":[4],"of":[5,9,13,22,35,48,57,69,74,108,112,161,167],"many":[6],"systems.":[7],"One":[8],"the":[10,17,23,55,70,96,106,130,159],"steps":[12],"reliability":[14,52,75,123],"analysis":[15,53],"representation":[18,34],"and":[19,134,137],"mathematical":[20],"description":[21],"analyzed":[24],"system.":[25],"Binary":[26],"Decision":[27],"Diagrams":[28],"(BDDs)":[29],"are":[30,77,93,101],"very":[31],"convenient":[32],"for":[33,110],"large":[36],"systems,":[37],"because":[38],"they":[39],"can":[40,61,143],"be":[41,62,144],"processed":[42],"on":[43,64,80,95,116,158],"computers":[44],"efficiently.":[45],"The":[46],"application":[47],"this":[49,65,126],"technique":[50],"in":[51,122,151],"requires":[54],"development":[56,107],"new":[58,140],"methods":[59,78,92,109],"that":[60,98,142,170],"applied":[63],"structure":[66],"(representation).":[67],"Some":[68],"most":[71],"popular":[72],"tools":[73],"engineering":[76],"based":[79,94,115,157],"Minimal":[81,86],"Cut":[82],"Sets":[83,88],"(MCSs)":[84],"or":[85],"Path":[87],"(MPSs).":[89],"However,":[90],"these":[91],"assumption":[97],"MCSs":[99,113,135,149],"(MPSs)":[100,114,136,150],"known":[102,172],"a":[103,117,139,152,174],"priori.":[104],"Therefore,":[105],"definition":[111],"BDD":[118],"actual":[120],"problem":[121],"analysis.":[124],"In":[125],"paper,":[127],"we":[128],"investigate":[129],"relation":[131],"between":[132],"BDDs":[133],"proposed":[138],"algorithm":[141],"used":[145],"to":[146],"detect":[147],"all":[148],"BDD.":[153],"Our":[154],"approach":[155],"use":[160],"logical":[162],"differential":[163],"calculus,":[164],"especially":[165],"one":[166],"its":[168],"parts":[169],"as":[173],"direct":[175],"partial":[176],"logic":[177],"derivative.":[178]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2016,"cited_by_count":1}],"updated_date":"2026-10-26T11:51:55.731654","created_date":"2016-06-24T00:00:00"}