Henri Beringer (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

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

2 Bruno De Backer, Henri Beringer: Intelligent Backtracking for CLP Languages: An Application to CLP(R). ISLP 1991: 405-419

Selection of 4 from 8 records - Henri Beringer has 8 coauthors

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
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
2		Bruno De Backer, Henri Beringer: Intelligent Backtracking for CLP Languages: An Application to CLP(R). ISLP 1991: 405-419