#### Filter Results:

- Full text PDF available (5)

#### Publication Year

1990

2014

- This year (0)
- Last 5 years (1)
- Last 10 years (2)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Bruno De Backer, Vincent Furnon, Paul Shaw, Philip Kilby, Patrick Prosser
- J. Heuristics
- 2000

Constraint Programming typically uses the technique of depth-first branch and bound as the method of solving optimisation problems. Although this method can give the optimal solution, for large problems, the time needed to find the optimal can be prohibitive. This paper introduces a method for using iterative improvement techniques within a Constraint… (More)

- Henri Beringer, Bruno De Backer
- Logic Programming: Formal Methods and Practical…
- 1995

- Bruno De Backer, Henri Beringer
- ICLP
- 1993

- Paul Shaw, Bruno De Backer, Vincent Furnon
- Annals OR
- 2002

- Bruno De Backer, Henri Beringer
- ISLP
- 1991

- Henri Beringer, Bruno De Backer
- IJCAI
- 1993

Test ing the sat is f iabi l i ty of a Boolean fo rmu la over l inear constraints is not a s imple ma t ter. Ex is t ing AI systems handle tha t k ind o f problems w i t h a general proof method for their Boolean parts and a separate module for comb in ing l inear constraints. On the contrary, t rad i t i ona l operat ions research methods need the prob lem… (More)

For many combinatorial problems, it is often useful to use specialized OR algorithms that allow to solve a subproblem or a simpliied version of the problem. Among these, Linear Programming algorithms, and most importantly the Simplex, are quite eecient and widely used. Many applications using Constraint Programming can take beneet from using such… (More)

Constraint programming is an appealing technology to use for vehicle routing problems. Traditional linear programming models do not have the exibility or generality required by businesses wishing to model complex side constraints. This paper describes how a constraint programming framework for vehicle routing problems was implemented using ILOG Solver. A… (More)

- Henri Beringer, Bruno De Backer
- TAI
- 1990

Mosr approaches to model-based diagnosis use incomplcie constrainr sarizfaction rechniques. and are therefore incomplete. Ii is shown hovv diagnosiic may be considered as a general consrraint satisfaction problem. Provided the svsrem I O be repaired is modeled wirh piecewise linear. consrraints on real variables. ir is possible io give a ciear… (More)

- Luc Bauwens, Bruno De Backer, Arnaud Dufays
- 2014

We present an estimation and forecasting method, based on a differential evolution MCMC method, for inference in GARCH models subjected to an unknown number of structural breaks at unknown dates. We treat break dates as parameters and determine the number of breaks by computing the marginal likelihoods of competing models. We allow for both recurrent and… (More)

- ‹
- 1
- ›