| 1999 |
|---|
| 31 | | Hubert Comon,
Mehmet Dincbas,
Jean-Pierre Jouannaud,
Claude Kirchner:
A Methodological View of Constraint Solving.
Constraints 4(4): 337-361 (1999) |
| 1996 |
|---|
| 30 | | Mehmet Dincbas:
Constraint Programming.
ACM Comput. Surv. 28(4es): 62 (1996) |
| 1995 |
|---|
| 29 | | Mehmet Dincbas:
Applications et évolutions du langage CHIP.
JFPLC 1995: 429 |
| 1992 |
|---|
| 28 | | Mehmet Dincbas:
Constraint Programming - an Alternative to Expert Systems.
IEA/AIE 1992: 46-48 |
| 27 | | Pascal Van Hentenryck,
Helmut Simonis,
Mehmet Dincbas:
Constraint Satisfaction Using Constraint Logic Programming.
Artif. Intell. 58(1-3): 113-159 (1992) |
| 1991 |
|---|
| 26 | | Helmut Simonis,
Mehmet Dincbas:
Propositional Calculus Problems in CHIP.
WCLP 1991: 269-285 |
| 1990 |
|---|
| 25 | | Serge Bourgault,
Mehmet Dincbas:
SPLT'90, 8ème Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France
SPLT 1990 |
| 24 | | Helmut Simonis,
Mehmet Dincbas:
Propositional Calculus Problems in CHIP.
ALP 1990: 189-203 |
| 23 | | Mehmet Dincbas,
Helmut Simonis,
Pascal Van Hentenryck:
Solving Large Combinatorial Problems in Logic Programming.
J. Log. Program. 8(1): 75-93 (1990) |
| 1989 |
|---|
| 22 | | Serge Bourgault,
Mehmet Dincbas:
SPLT'89, 8ème Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France
SPLT 1989 |
| 21 | | Mehmet Dincbas:
Parallelism vs. Efficiency in Logic Programming.
IFIP Congress 1989: 965-966 |
| 1988 |
|---|
| 20 | | Serge Bourgault,
Mehmet Dincbas:
SPLT'88, 7ème Séminaire Programmation en Logique, 25-27 mai 1988, Trégastel, France
SPLT 1988 |
| 19 | | Mehmet Dincbas,
Pascal Van Hentenryck,
Helmut Simonis,
Abderrahmane Aggoun,
Alexander Herold:
The CHIP System: Constraint Handling In Prolog.
CADE 1988: 774-775 |
| 18 | | Mehmet Dincbas,
Helmut Simonis,
Pascal Van Hentenryck:
Solving the Car-Sequencing Problem in Constraint Logic Programming.
ECAI 1988: 290-295 |
| 17 | | Mehmet Dincbas,
Pascal Van Hentenryck,
Helmut Simonis,
Abderrahmane Aggoun,
Thomas Graf,
Françoise Berthier:
The Constraint Logic Programming Language CHIP.
FGCS 1988: 693-702 |
| 16 | | Mehmet Dincbas,
Helmut Simonis,
Pascal Van Hentenryck:
Solving a Cutting-Stock Problem in Constraint Logic Programming.
ICLP/SLP 1988: 42-58 |
| 15 | EE | Mehmet Dincbas,
Pascal Van Hentenryck,
Helmut Simonis,
Abderrahmane Aggoun,
Thomas Graf:
Applications of CHIP to Industrial and Engineering Problems.
IEA/AIE (Vol. 2) 1988: 885-892 |
| 1987 |
|---|
| 14 | | Helmut Simonis,
Mehmet Dincbas:
Using Logic Programming for Fault Diagnosis in Digital Circuits.
GWAI 1987: 139-148 |
| 13 | | Pascal Van Hentenryck,
Mehmet Dincbas:
Forward Checking in Logic Programming.
ICLP 1987: 229-256 |
| 12 | | Mehmet Dincbas,
Pascal Van Hentenryck:
Extended Unification Algorithms for the Integration of Functional Programming into Logic Programming.
J. Log. Program. 4(3): 199-227 (1987) |
| 1986 |
|---|
| 11 | | Pascal Van Hentenryck,
Mehmet Dincbas:
Domains in Logic Programming.
AAAI 1986: 759-765 |
| 10 | | Mehmet Dincbas,
Pascal Van Hentenryck:
Algorithmes d'unification étendue pour l'intégration des langages fonctionnels et logiques.
SPLT 1986: 203-232 |
| 1985 |
|---|
| 9 | | Serge Bourgault,
Mehmet Dincbas:
SPLT'85, Séminaire Programmation en Logique, 29-31 mai 1985, Trégastel, France
SPLT 1985 |
| 1984 |
|---|
| 8 | | Mehmet Dincbas:
SPLT'84, Séminaire Programmation en Logique, 25-27 avril 1984, Plestin-les-Grèves, France
SPLT 1984 |
| 7 | | Mehmet Dincbas,
Jean-Pierre Le Pape:
Metacontrol of Logic Programs in Metalog.
FGCS 1984: 361-370 |
| 1983 |
|---|
| 6 | | Mehmet Dincbas:
SPLT'83, Séminaire Programmation en Logique, 22-23 mars 1983, Perros-Guirec, France
SPLT 1983 |
| 5 | | Serge Bourgault,
Mehmet Dincbas,
Didier Feuerstein,
Jean-Pierre Le Pape:
LISLOG: L'an II.
SPLT 1983 |
| 4 | | Mehmet Dincbas,
Jean-Pierre Le Pape:
Nouvelle implémentation de METALOG.
SPLT 1983 |
| 1982 |
|---|
| 3 | | Mehmet Dincbas,
Didier Feuerstein:
SPLT'82, Séminaire Programmation en Logique, 4-5 février 1982, Perros-Guirec, France
SPLT 1982 |
| 2 | | Serge Bourgault,
Mehmet Dincbas,
Didier Feuerstein:
Programmation en logique en environnement Lisp.
SPLT 1982 |
| 1980 |
|---|
| 1 | | Mehmet Dincbas:
A Knowledge-Based Expert System for Automatic Analysis and Synthesis in CAD.
IFIP Congress 1980: 705-710 |
