Vol-2709⫷ Vol-2710 ⫸Vol-2711
urn:nbn:de:0074-2710-0


Vol-2710/paper13⫷Vol-2710/paper14⫸Vol-2710/paper15
Domenico CantoneAndrea De DomenicoPietro MaugeriEugenio G. Omodeo

A Quadratic Reduction of Constraints over Nested Sets to Purely Boolean Formulae in CNF