×

zbMATH — the first resource for mathematics

Dincbas, Mehmet

Compute Distance To:
Author ID: dincbas.mehmet Recent zbMATH articles by "Dincbas, Mehmet"
Published as: Dincbas, M.; Dincbas, Mehmet
Documents Indexed: 6 Publications since 1987

Publications by Year

Citations contained in zbMATH Open

6 Publications have been cited 73 times in 58 Documents Cited by Year
Constraint satisfaction using constraint logic programming. Zbl 0782.68028
Van Hentenryck, Pascal; Simonis, Helmut; Dincbas, Mehmet
22
1992
Solving large combinatorial problems in logic programming. Zbl 0719.68013
Dincbas, Mehmet; Simonis, Helmut; van Hentenryck, Pascal
20
1990
Extended unification algorithms for the integration of functional programming into logic programming. Zbl 0623.68006
Dincbas, Mehmet; van Hentenryck, Pascal
16
1987
Solving a cutting-stock problem with the constraint logic programming language CHIP. Zbl 0800.68287
Dincbas, M.; Simonis, H.; van Hentenryck, P.
13
1992
A methodological view of constraint solving. Zbl 0949.68040
Comon, Hubert; Dincbas, Mehmet; Jouannaud, Jean-Pierre; Kirchner, Claude
1
1999
Constraints, logic programming and deductive databases. Zbl 0657.68105
Dincbas, Mehmet
1
1988
A methodological view of constraint solving. Zbl 0949.68040
Comon, Hubert; Dincbas, Mehmet; Jouannaud, Jean-Pierre; Kirchner, Claude
1
1999
Constraint satisfaction using constraint logic programming. Zbl 0782.68028
Van Hentenryck, Pascal; Simonis, Helmut; Dincbas, Mehmet
22
1992
Solving a cutting-stock problem with the constraint logic programming language CHIP. Zbl 0800.68287
Dincbas, M.; Simonis, H.; van Hentenryck, P.
13
1992
Solving large combinatorial problems in logic programming. Zbl 0719.68013
Dincbas, Mehmet; Simonis, Helmut; van Hentenryck, Pascal
20
1990
Constraints, logic programming and deductive databases. Zbl 0657.68105
Dincbas, Mehmet
1
1988
Extended unification algorithms for the integration of functional programming into logic programming. Zbl 0623.68006
Dincbas, Mehmet; van Hentenryck, Pascal
16
1987
all top 5

Cited by 116 Authors

5 Van Hentenryck, Pascal
3 Geffner, Hector
3 Simonis, Helmut
2 Adenso-Díaz, Belarmino
2 Bautista, Joaquín
2 Bonet, Blai
2 Dincbas, Mehmet
2 Pereira, Jordi
2 Pesch, Erwin
2 Roubens, Marc
2 Solnon, Christine
2 You, Jia-Huai
1 Aiba, Akira
1 Ajili, Farid
1 Alpuente, María
1 Artigues, Christian
1 Azevedo, Francisco
1 Bibel, Wolfgang
1 Bisdorff, Raymond
1 Bisschop, J. J.
1 Bosi, Francesco
1 Bouhoula, Adel
1 Bouveret, Sylvain
1 Brailsford, Sally C.
1 Büttner, Wolfram
1 Carraresi, Paolo
1 Cerny, Eduard
1 Christodoulou, Nikolaos S.
1 Cohen, David A.
1 Contejean, Evelyne
1 Corréa, Ayoub Insa
1 Cung, Van-Dat
1 Dechter, Rina
1 del Vado Vírseda, Rafael
1 Deris, Safaai Bin
1 Deville, Yves
1 Dorndorf, Ulrich
1 Drexl, Andreas
1 Ergin, Hüseyin
1 Ernst, Andreas T.
1 Estenfeld, Klaus
1 Falaschi, Moreno
1 Fourer, Robert
1 Gagné, Caroline
1 Gallo, Giorgio
1 Gervet, Carmen
1 Girodias, Pierre
1 Golynski, Alexander
1 Graf, Thomas
1 Gravel, Marc
1 Gyssens, Marc
1 Huguet, Marie-José
1 Jacquet-Lagrèze, Eric
1 Jeavons, Peter G.
1 Jouannaud, Jean-Pierre
1 Kang, Le
1 Karoui, Wafa
1 Kis, Tamás
1 Kolen, Antoon W. J.
1 Langevin, André
1 Laporte, Gilbert
1 Larrosa, Javier
1 Laurent, Stéphane
1 Lebbar, Maria
1 Lemaître, Michel
1 Levi, Giorgio
1 Li, Haitao
1 Lombardi, Michele
1 López-Fraguas, Francisco Javier
1 López-Ortiz, Alejandro
1 Lopez, Pierre
1 Mayer, Joachim
1 Meiri, Itay
1 Milano, Matthew
1 Mitterreiter, Ilse
1 Monfroglio, Angelo
1 Nguyen, Alain
1 Ohta, Hiroshi
1 Older, William J.
1 Omatu, Sigeru
1 Osman, Ibrahim Hassan
1 Ozkarahan, Irem
1 Phan-Huy, Toàn
1 Poole, David L.
1 Potts, Chris N.
1 Pradelles-Lasserre, C.
1 Price, Wilson Leonard
1 Psarras, John E.
1 Quimper, Claude-Guy
1 Radermacher, Franz Josef
1 Rago, Gabriella
1 Rodríguez-Artalejo, Mario
1 Rollon, Emma
1 Rousseau, Louis-Martin
1 Sakai, Kô
1 Schaus, Pierre
1 Schmid, Richard
1 Schneider, Hans-Albert
1 Smith, Barbara M.
1 Sorlin, Sébastien
...and 16 more Authors

Citations by Year