Continuous Time in a SAT-Based Planner

AAAI 2004 pp. 531-536

/aaai/2004/shin2004aaai-continuous/

Cite

Text

Shin and Davis. "Continuous Time in a SAT-Based Planner." AAAI Conference on Artificial Intelligence, 2004.

Markdown

[Shin and Davis. "Continuous Time in a SAT-Based Planner." AAAI Conference on Artificial Intelligence, 2004.](https://mlanthology.org/aaai/2004/shin2004aaai-continuous/)

BibTeX

@inproceedings{shin2004aaai-continuous,
  title     = {{Continuous Time in a SAT-Based Planner}},
  author    = {Shin, Ji-Ae and Davis, Ernest},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2004},
  pages     = {531-536},
  url       = {https://mlanthology.org/aaai/2004/shin2004aaai-continuous/}
}