Converting Programs into Constraint Satisfaction Problems.

Franz Wotawa, Mihai Nica

Browse the full IDC paper archive.