Mehmet Dincbas

31 papers A* 1A 2B 1C 1Journal 5Unranked 14
YearRankTypeTitle / Venue / Authors
1999 J jnl
A Methodological View of Constraint Solving.
Constraints An Int. J.
Hubert Comon, Mehmet Dincbas, Jean-Pierre Jouannaud, Claude Kirchner
1996 J jnl
Constraint Programming.
ACM Comput. Surv.
Mehmet Dincbas
1995 — conf
Applications et évolutions du langage CHIP.
JFPLC
Mehmet Dincbas
1992 C conf
Constraint Programming - an Alternative to Expert Systems.
IEA/AIE
Mehmet Dincbas
1992 J jnl
Constraint Satisfaction Using Constraint Logic Programming.
Artif. Intell.
Pascal Van Hentenryck, Helmut Simonis, Mehmet Dincbas
1991 — conf
Propositional Calculus Problems in CHIP.
WCLP
Helmut Simonis, Mehmet Dincbas
1990 — conf
Propositional Calculus Problems in CHIP.
ALP
Helmut Simonis, Mehmet Dincbas
1990 — ed.
SPLT'90, 8
SPLT
Serge Bourgault, Mehmet Dincbas
1990 J jnl
Solving Large Combinatorial Problems in Logic Programming.
J. Log. Program.
Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck
1989 — conf
Parallelism vs. Efficiency in Logic Programming.
IFIP Congress
Mehmet Dincbas
1989 — ed.
SPLT'89, 8
SPLT
Serge Bourgault, Mehmet Dincbas
1988 — conf
Applications of CHIP to Industrial and Engineering Problems.
IEA/AIE (Vol. 2)
Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Thomas Graf
1988 — ed.
SPLT'88, 7
SPLT
Serge Bourgault, Mehmet Dincbas
1988 — conf
Solving a Cutting-Stock Problem in Constraint Logic Programming.
ICLP/SLP
Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck
1988 A conf
Solving the Car-Sequencing Problem in Constraint Logic Programming.
ECAI
Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck
1988 A conf
The CHIP System: Constraint Handling In Prolog.
CADE
Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Alexander Herold
1988 — conf
The Constraint Logic Programming Language CHIP.
FGCS
Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Thomas Graf, Françoise Berthier
1987 J jnl
Extended Unification Algorithms for the Integration of Functional Programming into Logic Programming.
J. Log. Program.
Mehmet Dincbas, Pascal Van Hentenryck
1987 B conf
Forward Checking in Logic Programming.
ICLP
Pascal Van Hentenryck, Mehmet Dincbas
1987 — conf
Using Logic Programming for Fault Diagnosis in Digital Circuits.
GWAI
Helmut Simonis, Mehmet Dincbas
1986 — conf
Algorithmes d'unification étendue pour l'intégration des langages fonctionnels et logiques.
SPLT
Mehmet Dincbas, Pascal Van Hentenryck
1986 A* conf
Domains in Logic Programming.
AAAI
Pascal Van Hentenryck, Mehmet Dincbas
1985 — ed.
SPLT'85, Séminaire Programmation en Logique, 29-31 mai 1985, Trégastel, France
SPLT
Serge Bourgault, Mehmet Dincbas
1984 — conf
Metacontrol of Logic Programs in Metalog.
FGCS
Mehmet Dincbas, Jean-Pierre Le Pape
1984 — ed.
SPLT'84, Séminaire Programmation en Logique, 25-27 avril 1984, Plestin-les-Grèves, France
SPLT
Mehmet Dincbas
1983 — conf
LISLOG: L'an II.
SPLT
Serge Bourgault, Mehmet Dincbas, Didier Feuerstein, Jean-Pierre Le Pape
1983 — conf
Nouvelle implémentation de METALOG.
SPLT
Mehmet Dincbas, Jean-Pierre Le Pape
1983 — ed.
SPLT'83, Séminaire Programmation en Logique, 22-23 mars 1983, Perros-Guirec, France
SPLT
Mehmet Dincbas
1982 — conf
Programmation en logique en environnement Lisp.
SPLT
Serge Bourgault, Mehmet Dincbas, Didier Feuerstein
1982 — ed.
SPLT'82, Séminaire Programmation en Logique, 4-5 février 1982, Perros-Guirec, France
SPLT
Mehmet Dincbas, Didier Feuerstein
1980 — conf
A Knowledge-Based Expert System for Automatic Analysis and Synthesis in CAD.
IFIP Congress
Mehmet Dincbas