Another Way to Browse the Search Space For Some Transformations from CSP to SAT.

Richard Ostrowski, Lionel Paris, Adrien Varet

Browse the full ISAIM paper archive.