Henri Beringer

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2007
A web-based workforce management system for Sainsburys Supermarkets Ltd.
Ann. Oper. Res., 2007

1996
Construire des applications interactives d'optimisation avec la programmation par contraintes.
Proceedings of the JFPLC'96, 1996

1995
Combinatorial Problem Solving in Constraint Logic Programming with Cooperating Solvers.
Proceedings of the Logic Programming: Formal Methods and Practical Applications, 1995

1993
Satisfiability of Boolean Formulas over Linear Constraints.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

A CLP Language Handling Disjunctions of Linear Constraints.
Proceedings of the Logic Programming, 1993

1992
Prolog at IBM: An Advanced and Evolving Application Development Technology.
IBM Syst. J., 1992

1991
Intelligent Backtracking for CLP Languages: An Application to CLP(R).
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.
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).
Proceedings of the Natural Language Understanding and Logic Programming, 1987


  Loading...