Author:
Publication: Artificial Intelligence
Understanding the power of Max-SAT resolution through UP-resilience
On composition of bounded-recall plans