A formal proof and simple explanation of the QuickXplain algorithm

Patrick Rodler. A formal proof and simple explanation of the QuickXplain algorithm. Artif. Intell. Rev., 55(8):6185-6206, 2022. [doi]

Abstract

Abstract is missing.