SAT-Based Procedures for Temporal Reasoning. Armando, A., Castellini, C., & Giunchiglia, E. In Biundo, S. & Fox, M., editors, Recent Advances in AI Planning, 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999, Proceedings, volume 1809, of Lecture Notes in Computer Science, pages 97–108, 1999. Springer.
SAT-Based Procedures for Temporal Reasoning [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/ecp/ArmandoCG99,
  author       = {Alessandro Armando and
                  Claudio Castellini and
                  Enrico Giunchiglia},
  editor       = {Susanne Biundo and
                  Maria Fox},
  title        = {SAT-Based Procedures for Temporal Reasoning},
  booktitle    = {Recent Advances in {AI} Planning, 5th European Conference on Planning,
                  ECP'99, Durham, UK, September 8-10, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1809},
  pages        = {97--108},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/10720246\_8},
  doi          = {10.1007/10720246\_8},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecp/ArmandoCG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0