Efficient solving of structural constraints.

Bassem Elkarablieh, Darko Marinov, Sarfraz Khurshid

Browse the full ISSTA paper archive.