mu-SATPLAN: Multi-agent planning as satisfiability. Dimopoulos, Y., Hashmi, M. A., & Moraitis, P. Knowledge-Based Systems, 29:54–62, Elsevier, 2012.
mu-SATPLAN: Multi-agent planning as satisfiability [pdf]Paper  bibtex   

Downloads: 0