Elvira Albert, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Miguel Isabel, Peter J. Stuckey. Optimal dynamic partial order reduction with context-sensitive independence and observers. Journal of Systems and Software, 202:111730, August 2023. [doi]
Abstract is missing.