Patrick Rodler. DynamicHS: Streamlining Reiter's Hitting-Set Tree for Sequential Diagnosis. Inf. Sci., 627:251-279, May 2023. [doi]
@article{Rodler23,
title = {DynamicHS: Streamlining Reiter's Hitting-Set Tree for Sequential Diagnosis},
author = {Patrick Rodler},
year = {2023},
month = {May},
doi = {10.1016/j.ins.2022.08.029},
url = {https://doi.org/10.1016/j.ins.2022.08.029},
researchr = {https://researchr.org/publication/Rodler23},
cites = {0},
citedby = {0},
journal = {Inf. Sci.},
volume = {627},
pages = {251-279},
}