Henri Beringer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1990–1993
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1993 | ICLP | A CLP Language Handling Disjunctions of Linear Constraints. | Bruno De Backer, Henri Beringer |
| 1993 | IJCAI | Satisfiability of Boolean Formulas over Linear Constraints. | Henri Beringer, Bruno De Backer |
| 1990 | ICTAI | Diagnosing systems modeled with piecewise linear constraints. | Henri Beringer, Bruno De Backer |