Feyzbakhsh Rankooh, M.; Rintanen, J. Efficient Computation and Informative Estimation of H+ by Integer and Linear Programming. ICAPS 2022, 32, 71-79.