Jean-François Condotta, Dominique D Almeida. Qualitative Constraints Representation for the Time and Space in SAT. In 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007), October 29-31, 2007, Patras, Greece, Volume 1. pages 74-77, IEEE Computer Society, 2007. [doi]
@inproceedings{CondottaD07,
title = {Qualitative Constraints Representation for the Time and Space in SAT},
author = {Jean-François Condotta and Dominique D Almeida},
year = {2007},
doi = {10.1109/ICTAI.2007.154},
url = {http://doi.ieeecomputersociety.org/10.1109/ICTAI.2007.154},
tags = {constraints},
researchr = {https://researchr.org/publication/CondottaD07},
cites = {0},
citedby = {0},
pages = {74-77},
booktitle = {19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007), October 29-31, 2007, Patras, Greece, Volume 1},
publisher = {IEEE Computer Society},
}