Enrico Giunchiglia. Planning as Satisfiability with Expressive Action Languages: Concurrency, Constraints and Nondeterminism. In KR. pages 657-666, 2000.
@inproceedings{Giunchiglia00, title = {Planning as Satisfiability with Expressive Action Languages: Concurrency, Constraints and Nondeterminism}, author = {Enrico Giunchiglia}, year = {2000}, tags = {constraints}, researchr = {https://researchr.org/publication/Giunchiglia00}, cites = {0}, citedby = {0}, pages = {657-666}, booktitle = {KR}, }