Vol-2998⫷ Vol-2999 ⫸Vol-3000
urn:nbn:de:0074-2999-0


Vol-2999/oclpreface⫷Vol-2999/oclpaper1⫸Vol-2999/oclpaper2
Edward D. Willink

A Validity Analysis to Reify 2-valued Boolean Constraints