Mehmet Dincbas

Publication Activity (10 Years)

Years Active: 1980-1999
Publications (10 Years): 0

Publications

Hubert Comon, Mehmet Dincbas, Jean-Pierre Jouannaud, Claude Kirchner
A Methodological View of Constraint Solving. Constraints An Int. J. 4 (4) (1999)
Mehmet Dincbas
Constraint Programming. ACM Comput. Surv. 28 (4es) (1996)
Mehmet Dincbas
Applications et évolutions du langage CHIP. JFPLC (1995)
Pascal Van Hentenryck, Helmut Simonis, Mehmet Dincbas
Constraint Satisfaction Using Constraint Logic Programming. Artif. Intell. 58 (1-3) (1992)
Mehmet Dincbas
Constraint Programming - an Alternative to Expert Systems. IEA/AIE (1992)
Helmut Simonis, Mehmet Dincbas
Propositional Calculus Problems in CHIP. WCLP (1991)
Helmut Simonis, Mehmet Dincbas
Propositional Calculus Problems in CHIP. ALP (1990)
Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck
Solving Large Combinatorial Problems in Logic Programming. J. Log. Program. 8 (1) (1990)
Mehmet Dincbas
Parallelism vs. Efficiency in Logic Programming. IFIP Congress (1989)
Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck
Solving the Car-Sequencing Problem in Constraint Logic Programming. ECAI (1988)
Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Thomas Graf
Applications of CHIP to Industrial and Engineering Problems. IEA/AIE (Vol. 2) (1988)
Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck
Solving a Cutting-Stock Problem in Constraint Logic Programming. ICLP/SLP (1988)
Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Thomas Graf, Françoise Berthier
The Constraint Logic Programming Language CHIP. FGCS (1988)
Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Alexander Herold
The CHIP System: Constraint Handling In Prolog. CADE (1988)
Mehmet Dincbas, Pascal Van Hentenryck
Extended Unification Algorithms for the Integration of Functional Programming into Logic Programming. J. Log. Program. 4 (3) (1987)
Pascal Van Hentenryck, Mehmet Dincbas
Forward Checking in Logic Programming. ICLP (1987)
Helmut Simonis, Mehmet Dincbas
Using Logic Programming for Fault Diagnosis in Digital Circuits. GWAI (1987)
Pascal Van Hentenryck, Mehmet Dincbas
Domains in Logic Programming. AAAI (1986)
Mehmet Dincbas, Pascal Van Hentenryck
Algorithmes d'unification étendue pour l'intégration des langages fonctionnels et logiques. SPLT (1986)
Mehmet Dincbas, Jean-Pierre Le Pape
Metacontrol of Logic Programs in Metalog. FGCS (1984)
Serge Bourgault, Mehmet Dincbas, Didier Feuerstein, Jean-Pierre Le Pape
LISLOG: L'an II. SPLT (1983)
Mehmet Dincbas, Jean-Pierre Le Pape
Nouvelle implémentation de METALOG. SPLT (1983)
Serge Bourgault, Mehmet Dincbas, Didier Feuerstein
Programmation en logique en environnement Lisp. SPLT (1982)
Mehmet Dincbas
A Knowledge-Based Expert System for Automatic Analysis and Synthesis in CAD. IFIP Congress (1980)