Vol-555⫷ Vol-556 ⫸Vol-557
urn:nbn:de:0074-556-0


Vol-556/paper-3⫷Vol-556/paper-4⫸Vol-556/paper-5
Peter Baumgartner 0001John K. Slaney

Constraint Modelling: A Challenge for First Order Automated Reasoning