Systematization of Approaches to Equality-Generating Constraints
A. Binemann-Zdanowicz
View Paper (PDF)
Return to Short Papers
DiSC'02 © 2003 Association for Computing Machinery