Qualitative Constraints Representation for the Time and Space in SAT.

Jean-Franois Condotta, Dominique D'Almeida

Browse the full ICTAI paper archive.