Planning as Satisfiability with Expressive Action Languages: Concurrency, Constraints and Nondeterminism

Enrico Giunchiglia. Planning as Satisfiability with Expressive Action Languages: Concurrency, Constraints and Nondeterminism. In KR. pages 657-666, 2000.

Abstract

Abstract is missing.