Henri Beringer

发表

A web-based workforce management system for Sainsburys Supermarkets Ltd

S. Keyvan Mirrazavi, Henri Beringer, 2007, Ann. Oper. Res..

A CLP Language Handling Disjunctions of Linear Constraints

Henri Beringer, Bruno De Backer, 1993, ICLP.

Prolog at IBM: An Advanced and Evolving Application Development Technology

Christoph Beierle, Henri Beringer, Michel Bénichou, 1992, IBM Syst. J..

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

Henri Beringer, Bruno De Backer, 1991, ISLP.

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

Ulrich Junker, Henri Beringer, Daniel Godard, 1996, JFPLC.

Combinatorial Problem Solving in Constraint Logic Programming with Cooperating Solvers

Henri Beringer, Bruno De Backer, 1995, Logic Programming: Formal Methods and Practical Applications.

Satisfiability of Boolean Formulas over Linear Constraints

Henri Beringer, Bruno De Backer, 1993, IJCAI.

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

Henri Beringer, 1987, Natural Language Understanding and Logic Programming Workshop.

Cooperative Solvers and Global Constraints: The Case of Linear Arithmetic Constraints

Henri Beringer, Bruno De Backer, 1995 .