Mehmet Dincbas

According to our database, Mehmet Dincbas authored at least 23 papers between 1980 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1999

A Methodological View of Constraint Solving.

Hubert Comon, Mehmet Dincbas, Jean-Pierre Jouannaud, Claude Kirchner

Constraints An Int. J., 1999

1996

Constraint Programming.

Mehmet Dincbas

ACM Comput. Surv., 1996

1995

Applications et évolutions du langage CHIP.

Mehmet Dincbas

Proceedings of the JFPLC'95, 1995

1992

Constraint Satisfaction Using Constraint Logic Programming.

Pascal Van Hentenryck, Helmut Simonis, Mehmet Dincbas

Artif. Intell., 1992

Constraint Programming - an Alternative to Expert Systems.

Mehmet Dincbas

Proceedings of the Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1992

1991

Propositional Calculus Problems in CHIP.

Helmut Simonis, Mehmet Dincbas

Proceedings of the Constraint Logic Programming, 1991

1990

Solving Large Combinatorial Problems in Logic Programming.

Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck

J. Log. Program., 1990

1989

Parallelism vs. Efficiency in Logic Programming.

Mehmet Dincbas

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

1988

Applications of CHIP to Industrial and Engineering Problems.

Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Thomas Graf

Proceedings of the First International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, 1988

Solving a Cutting-Stock Problem in Constraint Logic Programming.

Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck

Proceedings of the Logic Programming, 1988

The Constraint Logic Programming Language CHIP.

Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Thomas Graf, Françoise Berthier

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

Solving the Car-Sequencing Problem in Constraint Logic Programming.

Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck

Proceedings of the 8th European Conference on Artificial Intelligence, 1988

The CHIP System: Constraint Handling In Prolog.

Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Alexander Herold

Proceedings of the 9th International Conference on Automated Deduction, 1988

1987

Extended Unification Algorithms for the Integration of Functional Programming into Logic Programming.

Mehmet Dincbas, Pascal Van Hentenryck

J. Log. Program., 1987

Using Logic Programming for Fault Diagnosis in Digital Circuits.

Helmut Simonis, Mehmet Dincbas

Proceedings of the GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28, 1987

Forward Checking in Logic Programming.

Pascal Van Hentenryck, Mehmet Dincbas

Proceedings of the Logic Programming, 1987

1986

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

Mehmet Dincbas, Pascal Van Hentenryck

Proceedings of the SPLT'86, 1986

Domains in Logic Programming.

Pascal Van Hentenryck, Mehmet Dincbas

Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

1984

Metacontrol of Logic Programs in Metalog.

Mehmet Dincbas, Jean-Pierre Le Pape

Proceedings of the International Conference on Fifth Generation Computer Systems, 1984

1983

Nouvelle implémentation de METALOG.

Mehmet Dincbas, Jean-Pierre Le Pape

Proceedings of the SPLT'83, 1983

LISLOG: L'an II.

Serge Bourgault, Mehmet Dincbas, Didier Feuerstein, Jean-Pierre Le Pape

Proceedings of the SPLT'83, 1983

1982

Programmation en logique en environnement Lisp.

Serge Bourgault, Mehmet Dincbas, Didier Feuerstein

Proceedings of the SPLT'82, 1982

1980

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

Mehmet Dincbas

Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980