Henri Beringer

According to our database, Henri Beringer authored at least 9 papers between 1987 and 2007.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2007

A web-based workforce management system for Sainsburys Supermarkets Ltd.

S. Keyvan Mirrazavi, Henri Beringer

Ann. Oper. Res., 2007

1996

Construire des applications interactives d'optimisation avec la programmation par contraintes.

Henri Beringer, Daniel Godard, André Guillaud, Ulrich Junker

Proceedings of the JFPLC'96, 1996

1995

Combinatorial Problem Solving in Constraint Logic Programming with Cooperating Solvers.

Henri Beringer, Bruno De Backer

Proceedings of the Logic Programming: Formal Methods and Practical Applications, 1995

1993

Satisfiability of Boolean Formulas over Linear Constraints.

Henri Beringer, Bruno De Backer

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

A CLP Language Handling Disjunctions of Linear Constraints.

Bruno De Backer, Henri Beringer

Proceedings of the Logic Programming, 1993

1992

Prolog at IBM: An Advanced and Evolving Application Development Technology.

Michel Bénichou, Henri Beringer, Jean-Michel Gauthier, Christoph Beierle

IBM Syst. J., 1992

1991

Intelligent Backtracking for CLP Languages: An Application to CLP(R).

Bruno De Backer, Henri Beringer

Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

1990

Diagnosing systems modeled with piecewise linear constraints.

Henri Beringer, Bruno De Backer

Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, 1990

1987

Graphs in Logic Programming for Natural Language Analysis (Conceptual Graphs in Prolog).

Henri Beringer

Proceedings of the Natural Language Understanding and Logic Programming, 1987