Optimal Partial-Order Plan Relaxation via MaxSAT

Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith. Optimal Partial-Order Plan Relaxation via MaxSAT. J. Artif. Intell. Res. (JAIR), 57:113-149, 2016. [doi]

Abstract

Abstract is missing.