Concepedia

Evaluation of the domain prop

Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier

The Journal of Logic Programming · 1995 · 48 citations · 36 references

DOI

Concepts

References

36

Graph-Based Algorithms for Boolean Function Manipulation

Bryant · IEEE Transactions on Computers · 1986 · 8.9K citations · Full text

, , +16

Abstract interpretation

Patrick Cousot, Radhia Cousot · 1977 · 6.2K citations

, , +8

The Art of Prolog

Leon Sterling, Ehud Shapiro, Randy Garrett · IEEE Expert · 1987 · 1.1K citations

, , +9

A practical framework for theabstract interpretation of logic programs

Maurice Bruynooghe · The Journal of Logic Programming · 1991 · 250 citations · Full text

, , +13

Compile-time derivation of variable dependency using abstract interpretation

Kalyan Muthukumar, Manuel V. Hermenegildo · The Journal of Logic Programming · 1992 · 230 citations · Full text

, , +13