SAT-Based Procedures for Temporal Reasoning. Armando, A.; Castellini, C.; and Giunchiglia, E. In Biundo, S. and Fox, M., editors, ECP, volume 1809, of Lecture Notes in Computer Science, pages 97-108, 1999. Springer.
SAT-Based Procedures for Temporal Reasoning. [link]Link  SAT-Based Procedures for Temporal Reasoning. [link]Paper  bibtex   
@inproceedings{conf/ecp/ArmandoCG99,
  added-at = {2011-06-21T00:00:00.000+0200},
  author = {Armando, Alessandro and Castellini, Claudio and Giunchiglia, Enrico},
  biburl = {http://www.bibsonomy.org/bibtex/249ae1565a19980a35ee676004540b787/dblp},
  booktitle = {ECP},
  crossref = {conf/ecp/1999},
  editor = {Biundo, Susanne and Fox, Maria},
  ee = {http://dx.doi.org/10.1007/10720246_8},
  interhash = {5c1cc04b4f0cbe5e04cba3268d0c78bb},
  intrahash = {49ae1565a19980a35ee676004540b787},
  isbn = {3-540-67866-2},
  keywords = {dblp},
  pages = {97-108},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2016-06-24T12:02:50.000+0200},
  title = {SAT-Based Procedures for Temporal Reasoning.},
  url = {http://dblp.uni-trier.de/db/conf/ecp/ecp1999.html#ArmandoCG99},
  volume = 1809,
  year = 1999
}
Downloads: 0