A SAT Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks.

Jean-Franois Condotta, Issam Nouaouri, Michael Sioutis

Browse the full KR paper archive.