{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T03:18:54Z","timestamp":1783048734864,"version":"3.54.6"},"reference-count":36,"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\/501100003977","name":"Israel Science Foundation","doi-asserted-by":"publisher","award":["353\/24"],"award-info":[{"award-number":["353\/24"]}],"id":[{"id":"10.13039\/501100003977","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Expert Systems with Applications"],"published-print":{"date-parts":[[2026,12]]},"DOI":"10.1016\/j.eswa.2026.133021","type":"journal-article","created":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T08:03:37Z","timestamp":1781078617000},"page":"133021","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"PA","title":["Developing a totally unimodular linear program for optimal conformance checking: When and why it complements A*"],"prefix":"10.1016","volume":"331","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6775-3256","authenticated-orcid":false,"given":"Izack","family":"Cohen","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/j.eswa.2026.133021_bib0001","series-title":"Aligning observed and modeled behavior","author":"Adriansyah","year":"2014"},{"key":"10.1016\/j.eswa.2026.133021_bib0002","series-title":"IEEE 15th international enterprise distributed object computing conference","first-page":"55","article-title":"Conformance checking using cost-based fitness analysis","author":"Adriansyah","year":"2011"},{"key":"10.1016\/j.eswa.2026.133021_bib0003","series-title":"2021 3rd International conference on process mining (ICPM)","first-page":"1","article-title":"Efficient approximate conformance checking using trie data structures","author":"Awad","year":"2021"},{"key":"10.1016\/j.eswa.2026.133021_bib0004","series-title":"International conference on business process management","first-page":"179","article-title":"Estimating process conformance by trace sampling and result approximation","author":"Bauer","year":"2019"},{"key":"10.1016\/j.eswa.2026.133021_bib0005","series-title":"Introduction to linear optimization","author":"Bertsimas","year":"1997"},{"key":"10.1016\/j.eswa.2026.133021_bib0006","series-title":"18th International conference on application of concurrency to system design (ACSD)","first-page":"50","article-title":"Symbolically aligning observed and modelled behaviour","author":"Bloemen","year":"2018"},{"key":"10.1016\/j.eswa.2026.133021_bib0007","unstructured":"Bogdanov, E., Cohen, I., & Gal, A. (2024). A scalable and near-optimal conformance checking approach for long traces. arXiv preprint arXiv: 2406.05439,."},{"issue":"1","key":"10.1016\/j.eswa.2026.133021_bib0008","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/s00607-020-00831-8","article-title":"Optimized SAT encoding of conformance checking artefacts","volume":"103","author":"Boltenhagen","year":"2021","journal-title":"Computing"},{"key":"10.1016\/j.eswa.2026.133021_bib0009","series-title":"Flexible evolutionary algorithms for mining structured process models","author":"Buijs","year":"2014"},{"key":"10.1016\/j.eswa.2026.133021_bib0010","series-title":"International conference on business process management","first-page":"214","article-title":"PLG: A framework for the generation of business process models and their execution logs","author":"Burattin","year":"2010"},{"key":"10.1016\/j.eswa.2026.133021_bib0011","doi-asserted-by":"crossref","DOI":"10.1016\/j.eswa.2023.122467","article-title":"Reach: Researching efficient alignment-based conformance checking","volume":"241","author":"Casas-Ramos","year":"2024","journal-title":"Expert Systems with Applications"},{"key":"10.1016\/j.eswa.2026.133021_bib0012","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1016\/j.ins.2022.11.052","article-title":"Optimal alignments between large event logs and process models over distributed systems: An approach based on petri nets","volume":"619","author":"Cheng","year":"2023","journal-title":"Information Sciences"},{"key":"10.1016\/j.eswa.2026.133021_bib0013","unstructured":"de Leoni, M., & Mannhardt, F. (2015). Road traffic fine management process. 4TU.ResearchData. Dataset10.4121\/uuid:270fd440-1057-4fb9-89a9-b699b47990f5."},{"key":"10.1016\/j.eswa.2026.133021_bib0014","series-title":"Business process management: 11th International conference, BPM 2013, Beijing, China, August 26\u201330, 2013. proceedings","first-page":"113","article-title":"Aligning event logs and process models for multi-perspective conformance checking: An approach based on integer linear programming","author":"De Leoni","year":"2013"},{"key":"10.1016\/j.eswa.2026.133021_bib0015","series-title":"International conference on advanced information systems engineering (CAiSE)","first-page":"234","article-title":"Conformance checking approximation using subset selection and edit distance","author":"Fani Sani","year":"2020"},{"key":"10.1016\/j.eswa.2026.133021_bib0016","series-title":"International conference on applications and theory of petri nets and concurrency","first-page":"311","article-title":"Discovering block-structured process models from event logs-a constructive approach","author":"Leemans","year":"2013"},{"key":"10.1016\/j.eswa.2026.133021_bib0017","series-title":"2022 4th International conference on process mining (ICPM)","first-page":"120","article-title":"Cache enhanced split-point-based alignment calculation","author":"Li","year":"2022"},{"key":"10.1016\/j.eswa.2026.133021_bib0018","unstructured":"Mannhardt, F. (2016). Sepsis cases - event log. 4TU.ResearchData. Dataset10.4121\/uuid:915d2bfb-7e84-49ad-a286-dc35f063a460."},{"key":"10.1016\/j.eswa.2026.133021_bib0019","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1016\/j.is.2014.04.003","article-title":"Single-entry single-exit decomposed conformance checking","volume":"46","author":"Munoz-Gama","year":"2014","journal-title":"Information Systems"},{"key":"10.1016\/j.eswa.2026.133021_bib0020","doi-asserted-by":"crossref","DOI":"10.1016\/j.is.2020.101561","article-title":"Scalable alignment of process models and event logs: An approach based on automata and s-components","volume":"94","author":"Rei\u00dfner","year":"2020","journal-title":"Information Systems"},{"issue":"1","key":"10.1016\/j.eswa.2026.133021_bib0021","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1016\/j.is.2007.07.001","article-title":"Conformance checking of processes based on monitoring real behavior","volume":"33","author":"Rozinat","year":"2008","journal-title":"Information Systems"},{"key":"10.1016\/j.eswa.2026.133021_bib0022","series-title":"Theory of linear and integer programming","author":"Schrijver","year":"1998"},{"key":"10.1016\/j.eswa.2026.133021_bib0023","article-title":"Combinatorial optimization: Polyhedra and efficiency","volume":"vol. 24","author":"Schrijver","year":"2003"},{"key":"10.1016\/j.eswa.2026.133021_bib0024","series-title":"International conference on process mining","first-page":"247","article-title":"Alignment approximation for process trees","author":"Schuster","year":"2020"},{"key":"10.1016\/j.eswa.2026.133021_bib0025","series-title":"International conference on enterprise design, operations, and computing","first-page":"300","article-title":"Process tree alignments","author":"Schwanen","year":"2024"},{"key":"10.1016\/j.eswa.2026.133021_bib0026","unstructured":"Steeman, W. (2013). BPI challenge 2013, incidents. 4TU.ResearchData. 10.4121\/uuid:500573e6-accc-4b0c-9576-aa5468b10cee."},{"issue":"2","key":"10.1016\/j.eswa.2026.133021_bib0027","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1287\/opre.34.2.250","article-title":"A strongly polynomial algorithm to solve combinatorial linear programs","volume":"34","author":"Tardos","year":"1986","journal-title":"Operations Research"},{"key":"10.1016\/j.eswa.2026.133021_bib0028","series-title":"International conference on business process management","first-page":"197","article-title":"A recursive paradigm for aligning observed behavior of large structured process models","author":"Taymouri","year":"2016"},{"key":"10.1016\/j.eswa.2026.133021_bib0029","series-title":"International conference on business process management","first-page":"215","article-title":"An evolutionary technique to approximate multiple optimal alignments","author":"Taymouri","year":"2018"},{"key":"10.1016\/j.eswa.2026.133021_bib0030","series-title":"International conference on tools and algorithms for the construction and analysis of systems","first-page":"231","article-title":"Symbolic model-checking using ITS-tools","author":"Thierry-Mieg","year":"2015"},{"key":"10.1016\/j.eswa.2026.133021_bib0031","doi-asserted-by":"crossref","DOI":"10.1016\/j.is.2021.101731","article-title":"Empowering conformance checking using big data through horizontal decomposition","volume":"99","author":"Valencia-Parra","year":"2021","journal-title":"Information Systems"},{"issue":"9","key":"10.1016\/j.eswa.2026.133021_bib0032","doi-asserted-by":"crossref","first-page":"1128","DOI":"10.1109\/TKDE.2004.47","article-title":"Workflow mining: Discovering process models from event logs","volume":"16","author":"Van der Aalst","year":"2004","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"10.1016\/j.eswa.2026.133021_bib0033","series-title":"Process mining: Data science in action","first-page":"3","article-title":"Data science in action","author":"Van Der Aalst","year":"2016"},{"key":"10.1016\/j.eswa.2026.133021_bib0034","unstructured":"van Dongen, B. (2012). BPI challenge 2012. 4TU.ResearchData. 10.4121\/uuid:3926db30-f712-4394-aebc-75976070e91f."},{"key":"10.1016\/j.eswa.2026.133021_bib0035","series-title":"Business process management (BPM)","first-page":"197","article-title":"Efficiently computing alignments: Using the extended marking equation","volume":"vol. 11080","author":"van Dongen","year":"2018"},{"key":"10.1016\/j.eswa.2026.133021_bib0036","series-title":"Technical Report","article-title":"Process mining with the HeuristicsMiner algorithm","author":"Weijters","year":"2006"}],"container-title":["Expert Systems with Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0957417426019329?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0957417426019329?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T02:52:17Z","timestamp":1783047137000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0957417426019329"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,12]]},"references-count":36,"alternative-id":["S0957417426019329"],"URL":"https:\/\/doi.org\/10.1016\/j.eswa.2026.133021","relation":{},"ISSN":["0957-4174"],"issn-type":[{"value":"0957-4174","type":"print"}],"subject":[],"published":{"date-parts":[[2026,12]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Developing a totally unimodular linear program for optimal conformance checking: When and why it complements A*","name":"articletitle","label":"Article Title"},{"value":"Expert Systems with Applications","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.eswa.2026.133021","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":"133021"}}