Mehmet Dincbas

	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		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

Coauthor Index

1	Abderrahmane Aggoun	[15] [17] [19]
2	Françoise Berthier	[17]
3	Serge Bourgault	[2] [5] [9] [20] [22] [25]
4	Hubert Comon-Lundh (Hubert Comon)	[31]
5	Didier Feuerstein	[2] [3] [5]
6	Thomas Graf	[15] [17]
7	Pascal Van Hentenryck	[10] [11] [12] [13] [15] [16] [17] [18] [19] [23] [27]
8	Alexander Herold	[19]
9	Jean-Pierre Jouannaud	[31]
10	Claude Kirchner	[31]
11	Jean-Pierre Le Pape	[4] [5] [7]
12	Helmut Simonis	[14] [15] [16] [17] [18] [19] [23] [24] [26] [27]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page