Procedure di decisione combinate per la soddisfacibilità di vincoli Enrica Nicolini — 2008 La Matematica nella Società e nella Cultura. Rivista dell'Unione Matematica Italiana