Constraint Programming for Modelling and Solving Modal Satisfability.

Sebastian Brand, Rosella Gennari, Maarten de Rijke

Browse the full CP paper archive.