| 2007 |
|---|
| 8 | EE | S. Keyvan Mirrazavi,
Henri Beringer:
A web-based workforce management system for Sainsburys Supermarkets Ltd.
Annals OR 155(1): 437-457 (2007) |
| 1996 |
|---|
| 7 | | Henri Beringer,
Daniel Godard,
André Guillaud,
Ulrich Junker:
Construire des applications interactives d'optimisation avec la programmation par contraintes.
JFPLC 1996: 153- |
| 1995 |
|---|
| 6 | | Henri Beringer,
Bruno De Backer:
Combinatorial Problem Solving in Constraint Logic Programming with Cooperating Solvers.
Logic Programming: Formal Methods and Practical Applications 1995: 245-272 |
| 1993 |
|---|
| 5 | | Bruno De Backer,
Henri Beringer:
A CLP Language Handling Disjunctions of Linear Constraints.
ICLP 1993: 550-563 |
| 4 | | Henri Beringer,
Bruno De Backer:
Satisfiability of Boolean Formulas over Linear Constraints.
IJCAI 1993: 296-304 |
| 1992 |
|---|
| 3 | | Michel Bénichou,
Henri Beringer,
Jean-Michel Gauthier,
Christoph Beierle:
Prolog at IBM: An Advanced and Evolving Application Development Technology.
IBM Systems Journal 31(4): 755-773 (1992) |
| 1991 |
|---|
| 2 | | Bruno De Backer,
Henri Beringer:
Intelligent Backtracking for CLP Languages: An Application to CLP(R).
ISLP 1991: 405-419 |
| 1987 |
|---|
| 1 | | Henri Beringer:
Graphs in Logic Programming for Natural Language Analysis (Conceptual Graphs in Prolog).
Natural Language Understanding and Logic Programming Workshop 1987: 203-224 |
