Efficient AC 1-Matching using constraints - Avenhaus, Jürgen; Denzinger, Jörg; Hoffmann, Thomas (Seki-Report, 1992)