Henri Beringer

Publication Activity (10 Years)

Years Active: 1987-2007
Publications (10 Years): 0

Publications

S. Keyvan Mirrazavi, Henri Beringer
A web-based workforce management system for Sainsburys Supermarkets Ltd. Ann. Oper. Res. 155 (1) (2007)
Henri Beringer, Daniel Godard, André Guillaud, Ulrich Junker
Construire des applications interactives d'optimisation avec la programmation par contraintes. JFPLC (1996)
Henri Beringer, Bruno De Backer
Satisfiability of Boolean Formulas over Linear Constraints. IJCAI (1993)
Bruno De Backer, Henri Beringer
A CLP Language Handling Disjunctions of Linear Constraints. ICLP (1993)
Michel Bénichou, Henri Beringer, Jean-Michel Gauthier, Christoph Beierle
Prolog at IBM: An Advanced and Evolving Application Development Technology. IBM Syst. J. 31 (4) (1992)
Bruno De Backer, Henri Beringer
Intelligent Backtracking for CLP Languages: An Application to CLP(R). ISLP (1991)
Henri Beringer, Bruno De Backer
Diagnosing systems modeled with piecewise linear constraints. TAI (1990)
Henri Beringer
Graphs in Logic Programming for Natural Language Analysis (Conceptual Graphs in Prolog). Natural Language Understanding and Logic Programming Workshop (1987)