4513 search results - page 228 / 903 » Logic programming with satisfiability |
100
click to vote
SLP
1990
15 years 5 months ago
1990
eric abstract interpretation framework. The results show significant benefits when using the proposed incremental analysis algorithms.
126
Voted
AMW
2009
15 years 5 months ago
2009
76
Voted
CACM
2010
15 years 4 months ago
2010
65
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
51
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer