{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,7]],"date-time":"2026-06-07T20:58:30Z","timestamp":1780865910423,"version":"3.54.1"},"reference-count":38,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2026,12,1]],"date-time":"2026-12-01T00:00:00Z","timestamp":1796083200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,12,1]],"date-time":"2026-12-01T00:00:00Z","timestamp":1796083200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,12,1]],"date-time":"2026-12-01T00:00:00Z","timestamp":1796083200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2026,12,1]],"date-time":"2026-12-01T00:00:00Z","timestamp":1796083200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2026,12,1]],"date-time":"2026-12-01T00:00:00Z","timestamp":1796083200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2026,12,1]],"date-time":"2026-12-01T00:00:00Z","timestamp":1796083200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,12,1]],"date-time":"2026-12-01T00:00:00Z","timestamp":1796083200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"funder":[{"DOI":"10.13039\/501100003032","name":"ANRT","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003032","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100016036","name":"Electricit\u00e9 de France","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100016036","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Reliability Engineering & System Safety"],"published-print":{"date-parts":[[2026,12]]},"DOI":"10.1016\/j.ress.2026.112907","type":"journal-article","created":{"date-parts":[[2026,5,27]],"date-time":"2026-05-27T16:32:33Z","timestamp":1779899553000},"page":"112907","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["Quantum Annealing approaches for Minimal Cut Set identification in fault trees"],"prefix":"10.1016","volume":"276","author":[{"given":"Rola","family":"Saidi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4119-6006","authenticated-orcid":false,"given":"Samuel","family":"Deleplanque","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3705-5673","authenticated-orcid":false,"given":"Stefan","family":"Creemers","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3680-2377","authenticated-orcid":false,"given":"Luis Fernando P\u00e9rez","family":"Armas","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mohamed","family":"Hibti","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Belhassen","family":"Zouari","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/j.ress.2026.112907_b1","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/j.cosrev.2015.03.001","article-title":"Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools","volume":"15\u201316","author":"Ruijters","year":"2015","journal-title":"Comput Sci Rev"},{"issue":"1","key":"10.1016\/j.ress.2026.112907_b2","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/S0951-8320(01)00121-1","article-title":"A dynamic fault tree","volume":"75","author":"\u010cepin","year":"2002","journal-title":"Reliab Eng Syst Saf"},{"issue":"1","key":"10.1016\/j.ress.2026.112907_b3","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/S0951-8320(02)00030-3","article-title":"Optimization of safety equipment outages improves safety","volume":"77","author":"\u010cepin","year":"2002","journal-title":"Reliab Eng Syst Saf"},{"issue":"6","key":"10.1016\/j.ress.2026.112907_b4","doi-asserted-by":"crossref","first-page":"1116","DOI":"10.1016\/j.ress.2009.01.004","article-title":"Application of the fault tree analysis for assessment of power system reliability","volume":"94","author":"Volkanovski","year":"2009","journal-title":"Reliab Eng Syst Saf"},{"issue":"14","key":"10.1016\/j.ress.2026.112907_b5","doi-asserted-by":"crossref","DOI":"10.3390\/en14144119","article-title":"Application of dynamic fault tree analysis to prioritize electric power systems in nuclear power plants","volume":"14","author":"Baek","year":"2021","journal-title":"Energies"},{"issue":"4","key":"10.1016\/j.ress.2026.112907_b6","first-page":"479","article-title":"Research on reliability of nuclear power plant steam generator liquid level control system based on dynamic fault tree","volume":"38","author":"Zhang","year":"2021","journal-title":"Nucl Phys Rev"},{"issue":"Part B","key":"10.1016\/j.ress.2026.112907_b7","article-title":"Probabilistic fault tree analysis and dynamic redundancy optimization for next-generation avionic flight control systems","volume":"266","author":"Dagal","year":"2026","journal-title":"Reliab Eng Syst Saf"},{"key":"10.1016\/j.ress.2026.112907_b8","doi-asserted-by":"crossref","unstructured":"Coudert O, Madre J-C. Implicit and incremental computation of primes and essential primes of boolean functions. In: Proceedings of the design automation conference. 1992, p. 36\u20139.","DOI":"10.1109\/DAC.1992.227866"},{"issue":"6","key":"10.1016\/j.ress.2026.112907_b9","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1109\/TC.1978.1675141","article-title":"Binary decision diagrams","volume":"C-27","author":"Akers","year":"1978","journal-title":"IEEE Trans Comput"},{"key":"10.1016\/j.ress.2026.112907_b10","series-title":"Analytical solutions of linked fault tree probabilistic risk assessments using binary decision diagrams with emphasis on nuclear safety applications","author":"Nusbaumer","year":"2007"},{"issue":"1","key":"10.1016\/j.ress.2026.112907_b11","first-page":"262","article-title":"A new methodology for obtaining cut sets for fault trees","volume":"15","author":"Fussell","year":"1972","journal-title":"Trans Am Nucl Soc"},{"key":"10.1016\/j.ress.2026.112907_b12","series-title":"Computerized fault tree analysis: TREEL and MICSUP","author":"Pande","year":"1975"},{"key":"10.1016\/j.ress.2026.112907_b13","doi-asserted-by":"crossref","unstructured":"Matuzas V, Contini S. Dynamic labelling of BDD and ZBDD for efficient non-coherent fault tree analysis. Reliab Eng Syst Saf 144(2015):183\u201392.","DOI":"10.1016\/j.ress.2015.07.012"},{"issue":"2","key":"10.1016\/j.ress.2026.112907_b14","first-page":"127","article-title":"Analysis of non-coherent fault trees using ternary decision diagrams","volume":"222","author":"Remenyte-Prescott","year":"2008","journal-title":"Proc Inst Mech Eng Part O: J Risk Reliab"},{"issue":"6","key":"10.1016\/j.ress.2026.112907_b15","doi-asserted-by":"crossref","first-page":"2092","DOI":"10.1016\/j.net.2024.01.017","article-title":"Zero-suppressed ternary decision diagram algorithm for solving non-coherent fault trees in probabilistic safety assessment of nuclear power plants","volume":"56","author":"Jung","year":"2024","journal-title":"Nucl Eng Technol"},{"key":"10.1016\/j.ress.2026.112907_b16","doi-asserted-by":"crossref","DOI":"10.1016\/j.ress.2024.110495","article-title":"Reliability analysis of dynamic fault trees with Priority-AND gates using conditional binary decision diagrams","volume":"253","author":"Zhou","year":"2025","journal-title":"Reliab Eng Syst Saf"},{"key":"10.1016\/j.ress.2026.112907_b17","doi-asserted-by":"crossref","DOI":"10.1016\/j.ress.2024.110552","article-title":"Rapid computation of survival signature for dynamic fault tree based on sequential binary decision diagram and multidimensional array","volume":"253","author":"Wang","year":"2025","journal-title":"Reliab Eng Syst Saf"},{"issue":"Part A","key":"10.1016\/j.ress.2026.112907_b18","article-title":"Seismic risk quantification for multi-unit probabilistic safety assessment based on the partial binary decision diagram approach","volume":"265","author":"Yoon","year":"2026","journal-title":"Reliab Eng Syst Saf"},{"key":"10.1016\/j.ress.2026.112907_b19","series-title":"D6.12: NEASQC approximations-like QPSA algorithms state of the art","author":"Hibti","year":"2024"},{"issue":"3","key":"10.1016\/j.ress.2026.112907_b20","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1016\/j.ress.2004.06.009","article-title":"Analysis of truncation limit in probabilistic safety assessment","volume":"87","author":"\u010cepin","year":"2005","journal-title":"Reliab Eng Syst Saf"},{"key":"10.1016\/j.ress.2026.112907_b21","unstructured":"Silva GSan Mart\u00edn, Parhizkar T, Droguett E L\u00f3pez. Quantum fault trees. Department of Civil & Environmental Engineering, University of California, Los Angeles, and The B. John Garrick Institute for the Risk Sciences, UCLA."},{"key":"10.1016\/j.ress.2026.112907_b22","doi-asserted-by":"crossref","DOI":"10.1016\/j.ress.2025.111147","article-title":"Quantum fault trees and minimal cut sets identification","volume":"262","author":"Silva","year":"2025","journal-title":"Reliab Eng Syst Saf"},{"key":"10.1016\/j.ress.2026.112907_b23","unstructured":"Rennela M, Brand S, Laarman A, Dunjko V. Hybrid Divide-and-Conquer Approach for Tree Search Algorithms. In: Proceedings of the 27th international conference on principles and practice of constraint programming. CP, 2021."},{"key":"10.1016\/j.ress.2026.112907_b24","series-title":"Quantum machine learning approaches for graphs and sequences: application to nuclear safety assessment","author":"Zaiou","year":"2022"},{"issue":"5","key":"10.1016\/j.ress.2026.112907_b25","doi-asserted-by":"crossref","first-page":"5355","DOI":"10.1103\/PhysRevE.58.5355","article-title":"Quantum annealing in the transverse Ising model","volume":"58","author":"Kadowaki","year":"1998","journal-title":"Phys Rev E"},{"issue":"1","key":"10.1016\/j.ress.2026.112907_b26","doi-asserted-by":"crossref","DOI":"10.1103\/RevModPhys.90.015002","article-title":"Adiabatic quantum computation","volume":"90","author":"Albash","year":"2018","journal-title":"Rev Modern Phys"},{"key":"10.1016\/j.ress.2026.112907_b27","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1126\/science.220.4598.671","article-title":"Optimization by simulated annealing","volume":"220","author":"Kirkpatrick","year":"1983","journal-title":"Science"},{"issue":"5415","key":"10.1016\/j.ress.2026.112907_b28","doi-asserted-by":"crossref","first-page":"779","DOI":"10.1126\/science.284.5415.779","article-title":"Quantum annealing of a disordered magnet","volume":"284","author":"Brooke","year":"1999","journal-title":"Science"},{"issue":"6","key":"10.1016\/j.ress.2026.112907_b29","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1143\/JPSJ.5.435","article-title":"On the adiabatic theorem of quantum mechanics","volume":"5","author":"Kato","year":"1950","journal-title":"J Phys Soc Japan"},{"key":"10.1016\/j.ress.2026.112907_b30","unstructured":"D-Wave Systems Inc.. D-Wave QPU Solver Properties (Documentation). available at: https:\/\/docs.dwavequantum.com\/en\/latest\/quantum_research\/solver_properties_specific.html#qpu-solver-properties-specific."},{"key":"10.1016\/j.ress.2026.112907_b31","unstructured":"Ruijters E, Stoelinga M. Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools."},{"key":"10.1016\/j.ress.2026.112907_b32","series-title":"Studies in constructive mathematics and mathematical logic","first-page":"115","article-title":"On the complexity of derivation in propositional calculus","volume":"vol. Part II","author":"Tseytin","year":"1970"},{"key":"10.1016\/j.ress.2026.112907_b33","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/s10479-022-04634-2","article-title":"Quantum bridge analytics I: a tutorial on formulating and using QUBO models","volume":"314","author":"Glover","year":"2022","journal-title":"Ann Oper Res"},{"issue":"1","key":"10.1016\/j.ress.2026.112907_b34","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/s10479-022-04634-2","article-title":"Quantum bridge analytics I: A tutorial on formulating and using QUBO models","volume":"314","author":"Glover","year":"2022","journal-title":"Ann Oper Res"},{"issue":"2","key":"10.1016\/j.ress.2026.112907_b35","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/s11128-021-03405-5","article-title":"Unconstrained binary models of the travelling salesman problem variants for quantum optimization","volume":"21","author":"Salehi","year":"2022","journal-title":"Quantum Inf Process"},{"key":"10.1016\/j.ress.2026.112907_b36","article-title":"Effectively encoding satisfiability problems into quadratic unconstrained binary optimization models for quantum computing","author":"Li","year":"2025","journal-title":"Int J Parallel Emergent Distrib Syst"},{"issue":"3","key":"10.1016\/j.ress.2026.112907_b37","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10732-025-09564-3","article-title":"Solqhealer: Quantum procedures for rendering infeasible solutions feasible: A proof of concept with the maximum independent set problem and 3-SAT","volume":"31","author":"Deleplanque","year":"2025","journal-title":"J Heuristics"},{"issue":"3","key":"10.1016\/j.ress.2026.112907_b38","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1145\/322077.322090","article-title":"\u201cStrong\u201d NP-completeness results: Motivation, examples, and implications","volume":"25","author":"Garey","year":"1978","journal-title":"J ACM"}],"container-title":["Reliability Engineering & System Safety"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0951832026007179?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0951832026007179?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,6,7]],"date-time":"2026-06-07T20:00:32Z","timestamp":1780862432000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0951832026007179"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,12]]},"references-count":38,"alternative-id":["S0951832026007179"],"URL":"https:\/\/doi.org\/10.1016\/j.ress.2026.112907","relation":{},"ISSN":["0951-8320"],"issn-type":[{"value":"0951-8320","type":"print"}],"subject":[],"published":{"date-parts":[[2026,12]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Quantum Annealing approaches for Minimal Cut Set identification in fault trees","name":"articletitle","label":"Article Title"},{"value":"Reliability Engineering & System Safety","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.ress.2026.112907","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 Elsevier Ltd. All rights are reserved, including those for text and data mining, AI training, and similar technologies.","name":"copyright","label":"Copyright"}],"article-number":"112907"}}