dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Mehmet Dincbas (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Van Hentenryck, Helmut Simonis, Mehmet Dincbas: Constraint Satisfaction Using Constraint Logic Programming. Artif. Intell. 58(1-3): 113-159 (1992)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck: Solving Large Combinatorial Problems in Logic Programming. J. Log. Program. 8(1): 75-93 (1990)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Alexander Herold: The CHIP System: Constraint Handling In Prolog. CADE 1988: 774-775
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck: Solving the Car-Sequencing Problem in Constraint Logic Programming. ECAI 1988: 290-295
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Thomas Graf, Françoise Berthier: The Constraint Logic Programming Language CHIP. FGCS 1988: 693-702
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck: Solving a Cutting-Stock Problem in Constraint Logic Programming. ICLP/SLP 1988: 42-58
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehmet 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
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Van Hentenryck, Mehmet Dincbas: Forward Checking in Logic Programming. ICLP 1987: 229-256
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehmet Dincbas, Pascal Van Hentenryck: Extended Unification Algorithms for the Integration of Functional Programming into Logic Programming. J. Log. Program. 4(3): 199-227 (1987)
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Van Hentenryck, Mehmet Dincbas: Domains in Logic Programming. AAAI 1986: 759-765
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehmet Dincbas, Pascal Van Hentenryck: Algorithmes d'unification étendue pour l'intégration des langages fonctionnels et logiques. SPLT 1986: 203-232

Selection of 11 from 31 records - Mehmet Dincbas has 12 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page