SAT as an Effective Solving Technology for Constraint Problems.

Marco Cadoli, Toni Mancini, Fabio Patrizi

Browse the full ISMIS paper archive.