"Ultraviolet: A Constraint Satisfaction Algorithm for Interactive Graphics."

Alan Borning, Bjørn N. Freeman-Benson (1998)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics