Follow
Mehmet Dincbas
Title
Cited by
Cited by
Year
The constraint logic programming language CHIP
M Dincbas
Proc. of the Fifth Generation Computer Systems 88, 693-702, 1988
9001988
Constraint satisfaction using constraint logic programming
P Van Hentenryck, H Simonis, M Dincbas
Artificial intelligence 58 (1-3), 113-159, 1992
2931992
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
2841990
Solving the Car-Sequencing Problem in Constraint Logic Programming.
M Dincbas, H Simonis, P Van Hentenryck
ECAI 88, 290-295, 1988
2801988
Strategic directions in constraint programming
P Van Hentenryck, V Saraswat
ACM Computing Surveys (CSUR) 28 (4), 701-726, 1996
1471996
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
1001988
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
Using logic programming for fault diagnosis in digital circuits
H Simonis, M Dincbas
GWAI-87 11th German Workshop on Artifical Intelligence, 139-148, 1987
321987
The system can't perform the operation now. Try again later.
Articles 1–20