AAAAAA

   
Results: 1-15 |
Results: 15
A CONSTRAINT SATISFACTION APPROACH TO A CIRCUIT-DESIGN PROBLEM
Authors: PUGET JF VANHENTENRYCK P
Citation: Jf. Puget et P. Vanhentenryck, A CONSTRAINT SATISFACTION APPROACH TO A CIRCUIT-DESIGN PROBLEM, Journal of global optimization, 13(1), 1998, pp. 75-93
DESIGN, IMPLEMENTATION, AND EVALUATION OF THE CONSTRAINT LANGUAGE CC (FD)
Authors: VANHENTENRYCK P SARASWAT V DEVILLE Y
Citation: P. Vanhentenryck et al., DESIGN, IMPLEMENTATION, AND EVALUATION OF THE CONSTRAINT LANGUAGE CC (FD), The journal of logic programming, 37(1-3), 1998, pp. 139-164
NEWTON - CONSTRAINT PROGRAMMING OVER NONLINEAR CONSTRAINTS
Authors: VANHENTENRYCK P MICHEL L BENHAMOU F
Citation: P. Vanhentenryck et al., NEWTON - CONSTRAINT PROGRAMMING OVER NONLINEAR CONSTRAINTS, Science of computer programming, 30(1-2), 1998, pp. 83-118
A GENTLE INTRODUCTION TO NUMERICA
Authors: VANHENTENRYCK P
Citation: P. Vanhentenryck, A GENTLE INTRODUCTION TO NUMERICA, Artificial intelligence, 103(1-2), 1998, pp. 209-235
HELIOS - A MODELING LANGUAGE FOR GLOBAL OPTIMIZATION AND ITS IMPLEMENTATION IN NEWTON
Authors: MICHEL L VANHENTENRYCK P
Citation: L. Michel et P. Vanhentenryck, HELIOS - A MODELING LANGUAGE FOR GLOBAL OPTIMIZATION AND ITS IMPLEMENTATION IN NEWTON, Theoretical computer science, 173(1), 1997, pp. 3-48
SOLVING POLYNOMIAL SYSTEMS USING A BRANCH AND PRUNE APPROACH
Authors: VANHENTENRYCK P MCALLESTER D KAPUR D
Citation: P. Vanhentenryck et al., SOLVING POLYNOMIAL SYSTEMS USING A BRANCH AND PRUNE APPROACH, SIAM journal on numerical analysis, 34(2), 1997, pp. 797-827
REDUNDANCY ELIMINATION WITH A LEXICOGRAPHIC SOLVED FORM
Authors: IMBERT JL VANHENTENRYCK P
Citation: Jl. Imbert et P. Vanhentenryck, REDUNDANCY ELIMINATION WITH A LEXICOGRAPHIC SOLVED FORM, Annals of mathematics and artificial intelligence, 17(1-2), 1996, pp. 85-106
IN-MEMORIAM - KANELLAKIS,PARIS,C
Authors: VANHENTENRYCK P
Citation: P. Vanhentenryck, IN-MEMORIAM - KANELLAKIS,PARIS,C, The journal of logic programming, 27(1), 1996, pp. 1-3
STRATEGIC DIRECTIONS IN CONSTRAINT PROGRAMMING
Authors: VANHENTENRYCK P SARASWAT V
Citation: P. Vanhentenryck et V. Saraswat, STRATEGIC DIRECTIONS IN CONSTRAINT PROGRAMMING, ACM computing surveys, 28(4), 1996, pp. 701-726
EVALUATION OF THE DOMAIN PROP
Authors: VANHENTENRYCK P CORTESI A LECHARLIER B
Citation: P. Vanhentenryck et al., EVALUATION OF THE DOMAIN PROP, The journal of logic programming, 23(3), 1995, pp. 237-278
TYPE ANALYSIS OF PROLOG USING TYPE GRAPHS
Authors: VANHENTENRYCK P CORTESI A LECHARLIER B
Citation: P. Vanhentenryck et al., TYPE ANALYSIS OF PROLOG USING TYPE GRAPHS, The journal of logic programming, 22(3), 1995, pp. 179-209
BACKTRACKING WITHOUT TRAILING IN CLP(R(LIN))
Authors: VANHENTENRYCK P RAMACHANDRAN V
Citation: P. Vanhentenryck et V. Ramachandran, BACKTRACKING WITHOUT TRAILING IN CLP(R(LIN)), ACM transactions on programming languages and systems, 17(4), 1995, pp. 635-671
REEXECUTION IN ABSTRACT INTERPRETATION OF PROLOG
Authors: LECHARLIER B VANHENTENRYCK P
Citation: B. Lecharlier et P. Vanhentenryck, REEXECUTION IN ABSTRACT INTERPRETATION OF PROLOG, Acta informatica, 32(3), 1995, pp. 209-253
EXPERIMENTAL EVALUATION OF A GENERIC ABSTRACT INTERPRETATION ALGORITHM FOR PROLOG
Authors: LECHARLIER B VANHENTENRYCK P
Citation: B. Lecharlier et P. Vanhentenryck, EXPERIMENTAL EVALUATION OF A GENERIC ABSTRACT INTERPRETATION ALGORITHM FOR PROLOG, ACM transactions on programming languages and systems, 16(1), 1994, pp. 35-101
GENERIC ABSTRACT INTERPRETATION ALGORITHMS FOR PROLOG - 2 OPTIMIZATION TECHNIQUES AND THEIR EXPERIMENTAL EVALUATION
Authors: ENGLEBERT V LECHARLIER B ROLAND D VANHENTENRYCK P
Citation: V. Englebert et al., GENERIC ABSTRACT INTERPRETATION ALGORITHMS FOR PROLOG - 2 OPTIMIZATION TECHNIQUES AND THEIR EXPERIMENTAL EVALUATION, Software, practice & experience, 23(4), 1993, pp. 419-459
Risultati: 1-15 |