Author

Mehmet Dincbas

Observed names: M. DINCBAS, M. Dincbas

Institution: Cosytec (France)

Observed institution: Cosytec (France)

OpenAlex ID: A5035023200

The Constraint Logic Programming Language CHIP.

1988 · Mehmet Dincbas, Pascal Van Hentenryck, et al. · Future Generation Computer Systems · 505

Solving the car-sequencing problem in constraint logic programming

1988 · Mehmet Dincbas, Helmut Simonis, et al. · 152

Solving large combinatorial problems in logic programming

1990 · Mehmet Dincbas, Helmut Simonis, et al. · The Journal of Logic Programming · 150

Constraint satisfaction using constraint logic programming

1992 · Pascal Van Hentenryck, Helmut Simonis, et al. · Artificial Intelligence · 135

Constraint satisfaction using constraint logic programming

1994 · Pascal Van Hentenryck, Helmut Simonis, et al. · The MIT Press eBooks · 58

Solving a Cutting-Stock Problem in Constraint Logic Programming.

1988 · Mehmet Dincbas, Helmut Simonis, et al. · 49

Domains in logic programming

1986 · Pascal Van Hentenryck, Mehmet Dincbas · National Conference on Artificial Intelligence · 43

Forward Checking in Logic Programming.

1987 · Pascal Van Hentenryck, Mehmet Dincbas · 38

Applications of CHIP to industrial and engineering problems

1988 · M. Dincbas, P. V. Hentenryck, et al. · Industrial and Engineering Applications of Artificial Intelligence and Expert Systems · 33

Extending Equation Solving and Constraint Handling in Logic Programming

1989 · M. DINCBAS, H. SIMONIS, et al. · Elsevier eBooks · 29

Metacontrol of Logic Programs in Metalog.

1984 · Mehmet Dincbas, Jean-Pierre Le Pape · Future Generation Computer Systems · 28

Extended unification algorithms for the integration of functional programming into logic programming

1987 · Mehmet Dincbas, Pascal Van Hentenryck · The Journal of Logic Programming · 27

Propositional calculus problems in CHIP

1990 · H. Simonis, M. Dincbas · Lecture notes in computer science · 23

Using Logic Programming for Fault Diagnosis in Digital Circuits

1987 · H. Simonis, M. Dincbas · Informatik-Fachberichte · 22

A Knowledge-Based Expert System for Automatic Analysis and Synthesis in CAD.

1980 · Mehmet Dincbas · IFIP Congress · 16

A Methodological View of Constraint Solving

1999 · Hubert Comon, Mehmet Dincbas, et al. · Constraints · 14

Constraints, logic programming and deductive databases

1988 · Mehmet Dincbas · 13

The CHIP system : Constraint handling in Prolog

1988 · M. Dincbas, P. Van Hentenryck, et al. · Lecture notes in computer science · 11

Solving a cutting-stock problem with the constraint logic programming language chip

1992 · M. Dincbas, H. Simonis, et al. · Mathematical and Computer Modelling · 7

Constraint programming

1996 · M. Dincbas · ACM Computing Surveys · 6

Propositional Calculus Problems in CHIP.

1991 · Helmut Simonis, Mehmet Dincbas · 6

LISLOG: L'an II.

1983 · Serge Bourgault, Mehmet Dincbas, et al. · SPLT · 3

Constraint programming — an alternative to expert systems

2005 · Mehmet Dincbas · Springer eBooks · 1

Algorithmes d'unification étendue pour l'intégration des langages fonctionnels et logiques.

1986 · Mehmet Dincbas, Pascal Van Hentenryck · SPLT · 1

Nouvelle implémentation de METALOG.

1983 · Mehmet Dincbas, Jean-Pierre Le Pape · SPLT · 1

Works count: 29

Citation count: 1,371

H-index: 15

I10-index: 18