Constraint Modelling: A Challenge for First Order Automated Reasoning (Invited Talk).

John K. Slaney

Browse the full CADE paper archive.