Seguir
Mehmet Dincbas
Mehmet Dincbas
COSYTEC
Dirección de correo verificada de mehmetdincbas.org
Título
Citado por
Citado por
Año
The constraint logic programming language CHIP
M Dincbas
Proc. of the Fifth Generation Computer Systems 88, 693-702, 1988
9061988
Constraint satisfaction using constraint logic programming
P Van Hentenryck, H Simonis, M Dincbas
Artificial intelligence 58 (1-3), 113-159, 1992
2941992
Solving Large Combinatorial Problems in Logic Programming
M Dincbas, H Simonis, P Van Hentenryck
The Journal of Logic Programming 8 (1-2), 75-93, 1990
2861990
Solving the Car-Sequencing Problem in Constraint Logic Programming.
M Dincbas, H Simonis, P Van Hentenryck
ECAI 88, 290-295, 1988
2841988
Strategic directions in constraint programming
P Van Hentenryck, V Saraswat
ACM Computing Surveys (CSUR) 28 (4), 701-726, 1996
1481996
Constraint-based reasoning
EC Freuder, AK Mackworth
MIT press 58 (1-3), 1994
1171994
Solving a cutting-stock problem in constraint logic programming
M Dincbas
Proc. of the Fifth International Conference and Symposium on Logic …, 1988
1011988
Domains in Logic Programming.
P Van Hentenryck, M Dincbas
AAAI, 759-765, 1986
721986
Forward Checking in Logic Programming.
P Van Hentenryck, M Dincbas
ICLP, Melbourne, 229-256, 1987
601987
Extending equation solving and constraint handling in logic programming
M Dincbas, H Simonis, P van Hentenryck
Rewriting Techniques, 87-115, 1989
561989
Extending Equation Solving and Constraint Handling in Logic Programming
M Dincbas, H Simonis, P Van Hentenryck
Colloquium on the Resolution of Equations in Algebraic Structures (CREAS …, 1987
561987
Metacontrol of logic programs in METALOG
M Dincbas, JP Le Pape
Proc. Fifth Generation Computer Systems (FGCS-84), Tokyo, Japan, 1984
561984
The Constraint Logic Programming language CHIP
M Dincbas, P Van Hentenryck, H Simonis, A Aggoun, T Graf, F Berthier
Proceedings on the International Conference on Fifth Generation Computer …, 1988
55*1988
Applications of CHIP to industrial and engineering problems
M Dincbas, PV Hentenryck, H Simonis, A Aggoun, T Graf
Proceedings of the 1st international conference on Industrial and …, 1988
501988
Extended unification algorithms for the integration of functional programming into logic programming
M Dincbas, P Van Hentenryck
The Journal of Logic Programming 4 (3), 199-227, 1987
431987
Propositional calculus problems in CHIP
H Simonis, M Dincbas
International Conference on Algebraic and Logic Programming, 189-203, 1990
381990
Using an extended prolog for digital circuit design
H Simonis, M Dincbas
IEEE International Workshop on AI Applications to CAD Systems for …, 1987
371987
Constraints, logic programming and deductive databases
M Dincbas
Proceedings of the first Franco-Japanese Symposium on Programming of future …, 1988
341988
The CHIP system: Constraint Handling in Prolog
M Dincbas, P Van Hentenryck, H Simonis, A Aggoun, A Herold
International Conference on Automated Deduction (CADE-88), 774-775, 1988
34*1988
Apache-a constraint based, automated stand allocation system
M Dincbas, H Simonis
Proc. of Advanced Software Technology in Air Transport (ASTAIR91), London …, 1991
321991
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20