J. Ojeda, "Partial MaxSAT Computation of Conformance Checking Artefacts", 2021 3rd International Conference on Process Mining (ICPM), 2021, pp. 17-24, doi: 10.1109/ICPM53251.2021.9576889.

J. Ojeda, "Conformance checking artefacts through weighted partial MaxSAT" Information Systems, Vol. 114, March 2023, doi: 10.1016/j.is.2023.102168.

@article{10.1016/j.is.2023.102168,
  author = {Jesus Ojeda},
  title = {Conformance checking artefacts through weighted partial MaxSAT},
  journal = {Information Systems},
  volume = {114},
  pages = {102168},
  year = {2023},
  issn = {0306-4379},
  doi = {10.1016/j.is.2023.102168}
}

@INPROCEEDINGS{10.1109/ICPM53251.2021.9576889,
  author={Ojeda, Jesus},
  booktitle={2021 3rd International Conference on Process Mining (ICPM)}, 
  title={Partial MaxSAT Computation of Conformance Checking Artefacts}, 
  year={2021},
  volume={},
  number={},
  pages={17-24},
  doi={10.1109/ICPM53251.2021.9576889}
}