Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-5
|
Results: 5
Abstract domains for reordering CLP (R-Lin) programs
Authors:
Ramachandran, V Van Hentenryck, P Cortesi, A
Citation:
V. Ramachandran et al., Abstract domains for reordering CLP (R-Lin) programs, J LOGIC PR, 42(3), 2000, pp. 217-256
Combinations of abstract domains for logic programming: open product and generic pattern construction
Authors:
Cortesi, A Le Charlier, B Van Hentenryck, P
Citation:
A. Cortesi et al., Combinations of abstract domains for logic programming: open product and generic pattern construction, SCI COMP PR, 38(1-3), 2000, pp. 27-71
LOCALIZER: A modeling language for local search
Authors:
Michel, L Van Hentenryck, P
Citation:
L. Michel et P. Van Hentenryck, LOCALIZER: A modeling language for local search, INFORMS J C, 11(1), 1999, pp. 1-14
Exploiting type analysis for unification in a distributed environment
Authors:
Lamma, E Mello, P Stefanelli, C Van Hentenryck, P
Citation:
E. Lamma et al., Exploiting type analysis for unification in a distributed environment, COMPUT A IN, 18(5), 1999, pp. 447-465
Constraint satisfaction over connected row-convex constraints
Authors:
Deville, Y Barette, O Van Hentenryck, P
Citation:
Y. Deville et al., Constraint satisfaction over connected row-convex constraints, ARTIF INTEL, 109(1-2), 1999, pp. 243-271
Risultati:
1-5
|