%0 Journal Article %A Francesco, Ciraulo %T Soddisfacibilità costruttiva %J La Matematica nella società e nella cultura %D 2008 %P 275-278 %V 1 %N 2 %I mathdoc %U https://geodesic-test.mathdoc.fr/item/LMSC_2008_1_1_2_a20/ %G it %F LMSC_2008_1_1_2_a20