Seguir
Mehmet Dincbas
Mehmet Dincbas
COSYTEC
Dirección de correo verificada de mehmetdincbas.org
Título
Citado por
Citado por
Año
Solving a cutting-stock problem with the constraint logic programming language CHIP
M Dincbas, H Simonis, P Van Hentenryck
Mathematical and computer modelling 16 (1), 95-105, 1992
9611992
Constraint satisfaction using constraint logic programming
P Van Hentenryck, H Simonis, M Dincbas
Artificial intelligence 58 (1-3), 113-159, 1992
3001992
Solving the Car-Sequencing Problem in Constraint Logic Programming.
M Dincbas, H Simonis, P Van Hentenryck
ECAI 88, 290-295, 1988
2991988
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
2821990
Strategic directions in constraint programming
P Van Hentenryck, V Saraswat
ACM Computing Surveys (CSUR) 28 (4), 701-726, 1996
1441996
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
951988
Domains in logic programming
PV Hentenryck, M Dincbas
Proceedings of the Fifth AAAI National Conference on Artificial Intelligence …, 1986
821986
Extending equation solving and constraint handling in logic programming
M Dincbas, H Simonis, P van Hentenryck
Rewriting Techniques, 87-115, 1989
631989
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
631987
Forward Checking in Logic Programming.
P Van Hentenryck, M Dincbas
ICLP, Melbourne, 229-256, 1987
611987
Metacontrol of logic programs in METALOG
M Dincbas, JP Le Pape
Proc. Fifth Generation Computer Systems (FGCS-84), Tokyo, Japan, 1984
591984
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
51*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
401990
Using an extended prolog for digital circuit design
H Simonis, M Dincbas
IEEE International Workshop on AI Applications to CAD Systems for …, 1987
381987
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
33*1988
Using logic programming for fault diagnosis in digital circuits
H Simonis, M Dincbas
GWAI-87 11th German Workshop on Artifical Intelligence, 139-148, 1987
331987
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20