67
Voted
AISC
2006
Springer
15 years 17 days ago
2006
Springer
In program analysis and verification, there are some constraints that have to be processed repeatedly. A possible way to speed up the processing is to find some relations among the...