{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,6]],"date-time":"2026-07-06T20:18:43Z","timestamp":1783369123909,"version":"3.54.6"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,6,22]],"date-time":"2026-06-22T00:00:00Z","timestamp":1782086400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,6,22]]},"DOI":"10.1145\/3787109.3815285","type":"proceedings-article","created":{"date-parts":[[2026,6,18]],"date-time":"2026-06-18T14:17:19Z","timestamp":1781792239000},"page":"16-23","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["MIBID: Model Based Fault Diagnosis on Ising Machines"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0007-9164-3069","authenticated-orcid":false,"given":"Nafisa Sadaf","family":"Prova","sequence":"first","affiliation":[{"name":"University of Minnesota Twin Cities, Minneapolis, MN, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0080-8814","authenticated-orcid":false,"given":"Ahmet","family":"Efe","sequence":"additional","affiliation":[{"name":"University of Minnesota Twin Cities, Minneapolis, MN, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-6208-6469","authenticated-orcid":false,"given":"Abhimanyu","family":"Kumar","sequence":"additional","affiliation":[{"name":"University of Minnesota Twin Cities, Minneapolis, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4194-1347","authenticated-orcid":false,"given":"Chris","family":"Kim","sequence":"additional","affiliation":[{"name":"University of Minnesota Twin Cities, Minneapolis, MN, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5353-2364","authenticated-orcid":false,"given":"Sachin S.","family":"Sapatnekar","sequence":"additional","affiliation":[{"name":"University of Minnesota Twin Cities, Minneapolis, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9238-4256","authenticated-orcid":false,"given":"Ulya R.","family":"Karpuzcu","sequence":"additional","affiliation":[{"name":"University of Minnesota Twin Cities, Minneapolis, MN, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,6,22]]},"reference":[{"key":"e_1_3_3_1_2_2","doi-asserted-by":"crossref","unstructured":"Maliheh Aramon Gili Rosenberg Elisabetta Valiante Toshiyuki Miyazawa Hirotaka Tamura and Helmut\u00a0G Katzgraber. 2019. Physics-inspired optimization for quadratic unconstrained problems using a digital annealer. Frontiers in Physics (2019).","DOI":"10.3389\/fphy.2019.00048"},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"crossref","unstructured":"Zhengbing Bian Fabian Chudak Robert\u00a0Brian Israel Brad Lackey William\u00a0G. Macready and Aidan Roy. 2016. Mapping Constrained Optimization Problems to Quantum Annealing with Application to Fault Diagnosis. Frontiers in ICT (2016).","DOI":"10.3389\/fict.2016.00014"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"publisher","DOI":"10.5555\/1550723"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"publisher","unstructured":"Tom Bylander Dean Allemang Michael\u00a0C. Tanner and John\u00a0R. Josephson. 1991. The computational complexity of abduction. Artif. Intell. 49 1\u20133 (May 1991) 25\u201360. 10.1016\/0004-3702(91)90005-5","DOI":"10.1016\/0004-3702(91)90005-5"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"crossref","unstructured":"Nicholas Chancellor Stefan Zohren Paul\u00a0A. Warburton Simon\u00a0C. Benjamin and Stephen Roberts. 2016. A Direct Mapping of Max k-SAT and High-Order Parity Checks to a Chimera Graph. Scientific Reports 6 (2016) 37107.","DOI":"10.1038\/srep37107"},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"crossref","unstructured":"H\u00fcsrev C\u0131lasun Ziqing Zeng Ramprasath S Abhimanyu Kumar Hao Lo William Cho William Moy Chris\u00a0H Kim Ulya\u00a0R Karpuzcu and Sachin\u00a0S Sapatnekar. 2024. 3SAT on an all-to-all-connected CMOS Ising solver chip. Scientific reports (2024).","DOI":"10.1038\/s41598-024-60316-y"},{"key":"e_1_3_3_1_8_2","volume-title":"IJCAI","author":"Console Luca","year":"1999","unstructured":"Luca Console and Oskar Dressler. 1999. Model-Based Diagnosis in the Real World: Lessons Learned and Challenges Remaining. In IJCAI."},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"crossref","unstructured":"Johan de Kleer and Brian\u00a0C. Williams. 1987. Diagnosing Multiple Faults. Artificial Intelligence 32 1 (1987) 97\u2013130.","DOI":"10.1016\/0004-3702(87)90063-4"},{"key":"e_1_3_3_1_10_2","unstructured":"Ahmet Efe H\u00fcsrev C\u0131lasun Abhimanyu Kumar Nafisa\u00a0Sadaf Prova Ziqing Zeng Tahmida Islam Ruihong Yin Chaohui Li Peter Kreye Chris Kim Sachin\u00a0S. Sapatnekar and Ulya\u00a0R. Karpuzcu. 2025. On Solving Structured SAT on Ising Machines: A Semiprime Factorization Study. arxiv:https:\/\/arXiv.org\/abs\/2511.21046"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"crossref","unstructured":"Alexander Feldman Gregory\u00a0M. Provan and Arjan J.\u00a0C. van Gemund. 2010. Approximate Model-Based Diagnosis Using Greedy Stochastic Search. ArXiv (2010).","DOI":"10.1613\/jair.3025"},{"key":"e_1_3_3_1_12_2","first-page":"827","volume-title":"Proceedings of the National Conference on Artificial Intelligence (AAAI)","author":"Feldman Alexander","year":"2006","unstructured":"Alexander Feldman and Arjan J.\u00a0C. van Gemund. 2006. A Two-Step Hierarchical Algorithm for Model-Based Diagnosis. In Proceedings of the National Conference on Artificial Intelligence (AAAI). 827\u2013833."},{"key":"e_1_3_3_1_13_2","volume-title":"International Joint Conference on Artificial Intelligence","author":"Fr\u00f6hlich Peter\u00a0H.","year":"1997","unstructured":"Peter\u00a0H. Fr\u00f6hlich and Wolfgang Nejdl. 1997. A Static Model-Based Engine for Model-Based Reasoning. In International Joint Conference on Artificial Intelligence. https:\/\/api.semanticscholar.org\/CorpusID:6153461"},{"key":"e_1_3_3_1_14_2","unstructured":"Gurobi Optimization LLC. 2024. Gurobi Optimizer Reference Manual. https:\/\/www.gurobi.com"},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"crossref","unstructured":"M.\u00a0C. Hansen H. Yalcin and J.\u00a0P. Hayes. 1999. Unveiling the ISCAS-85 Benchmarks: A Case Study in Reverse Engineering. IEEE Design & Test of Computers 16 3 (1999) 72\u201380.","DOI":"10.1109\/54.785838"},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"publisher","unstructured":"Alexey Ignatiev Antonio Morgado and Joao Marques-Silva. 2019. RC2: an Efficient MaxSAT Solver. Journal on Satisfiability Boolean Modelling and Computation 11 (2019) 53 \u2013 64. 10.3233\/SAT190116","DOI":"10.3233\/SAT190116"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"crossref","unstructured":"E. Ising. 1925. Beitrag zur theorie des ferromagnetismus. Z. Phys. (1925).","DOI":"10.1007\/BF02980577"},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68279-0_8"},{"key":"e_1_3_3_1_19_2","unstructured":"George Karypis and Vipin Kumar. 1997. METIS: A software package for partitioning unstructured graphs partitioning meshes and computing fill-reducing orderings of sparse matrices. University of Minnesota (1997)."},{"key":"e_1_3_3_1_20_2","unstructured":"Tolga Kurtoglu Sriram Narasimhan Scott Poll David Garc\u00eda Lukas\u00a0D. Kuhn Johan Dekleer Arjan vanGemund and Alexander Feldman. 2009. First International Diagnosis Competition - DXC\u201909. https:\/\/api.semanticscholar.org\/CorpusID:7844393"},{"key":"e_1_3_3_1_21_2","doi-asserted-by":"crossref","unstructured":"Hao-Yung Lo William Moy Hanzhao Yu Sachin\u00a0S. Sapatnekar and Chris Hyung-Il Kim. 2023. An Ising solver chip based on coupled ring oscillators with a 48-node all-to-all connected array architecture. Nature Electronics 6 (2023) 771\u2013778.","DOI":"10.1038\/s41928-023-01021-y"},{"key":"e_1_3_3_1_22_2","doi-asserted-by":"publisher","DOI":"10.1109\/EDAC.1991.206366"},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"crossref","unstructured":"Amit Metodi Roni Stern Meir Kalech and Michael Codish. 2014. A novel SAT-based approach to model based diagnosis. J. Artif. Int. Res. 51 1 (Sept. 2014) 377\u2013411.","DOI":"10.1613\/jair.4503"},{"key":"e_1_3_3_1_24_2","unstructured":"Joseph\u00a0F. Murray Gordon\u00a0F. Hughes and Kenneth Kreutz-Delgado. 2005. Machine Learning Methods for Predicting Failures in Hard Drives. JMLR 6 (2005) 783\u2013816."},{"key":"e_1_3_3_1_25_2","volume-title":"FM","author":"Orvalho Pedro","year":"2024","unstructured":"Pedro Orvalho, Mikol\u00e1\u0161 Janota, and Vasco Manquinho. 2024. cfaults: Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases. In FM."},{"key":"e_1_3_3_1_26_2","unstructured":"Bernhard Peischl and Franz Wotawa. 2003. Modeling State in Software Debugging of VHDL-RTL Designs - A Model-Based Diagnosis Approach. arXiv:https:\/\/arXiv.org\/abs\/ Artificial Intelligence (2003)."},{"key":"e_1_3_3_1_27_2","doi-asserted-by":"crossref","unstructured":"Abraham\u00a0P Punnen. 2022. The quadratic unconstrained binary optimization problem. Springer International Publishing (2022).","DOI":"10.1007\/978-3-031-04520-2"},{"key":"e_1_3_3_1_28_2","doi-asserted-by":"crossref","unstructured":"Raymond Reiter. 1987. A Theory of Diagnosis from First Principles. Artificial Intelligence 32 1 (1987) 57\u201395.","DOI":"10.1016\/0004-3702(87)90062-2"},{"key":"e_1_3_3_1_29_2","volume-title":"IJCAI","author":"Siddiqi Safa","year":"2007","unstructured":"Safa Siddiqi and Jinbo Huang. 2007. Hierarchical Diagnosis of Multiple Faults. In IJCAI."},{"key":"e_1_3_3_1_30_2","unstructured":"Niklas S\u00f6rensson and Niklas E\u00e9n. 2005. MiniSat v1.13 - A SAT Solver with Conflict-Clause Minimization. https:\/\/api.semanticscholar.org\/CorpusID:63165862"},{"key":"e_1_3_3_1_31_2","doi-asserted-by":"publisher","DOI":"10.1007\/11829263_16"},{"key":"e_1_3_3_1_32_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68237-0_23"},{"key":"e_1_3_3_1_33_2","doi-asserted-by":"crossref","unstructured":"Tianshi Wang and Jaijeet Roychowdhury. 2019. OIM: Oscillator-based Ising machines for solving combinatorial optimisation problems. Springer.","DOI":"10.1007\/978-3-030-19311-9_19"},{"key":"e_1_3_3_1_34_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.dam.2005.10.022"}],"event":{"name":"GLSVLSI '26: Great Lakes Symposium on VLSI 2026","location":"Canandaigua , NY , USA","acronym":"GLSVLSI '26","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE CEDA"]},"container-title":["Proceedings of the Great Lakes Symposium on VLSI 2026"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3787109.3815285","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,6]],"date-time":"2026-07-06T19:47:12Z","timestamp":1783367232000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3787109.3815285"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6,22]]},"references-count":33,"alternative-id":["10.1145\/3787109.3815285","10.1145\/3787109"],"URL":"https:\/\/doi.org\/10.1145\/3787109.3815285","relation":{},"subject":[],"published":{"date-parts":[[2026,6,22]]},"assertion":[{"value":"2026-06-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}