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 | 961 | 1992 |
Constraint satisfaction using constraint logic programming P Van Hentenryck, H Simonis, M Dincbas Artificial intelligence 58 (1-3), 113-159, 1992 | 303 | 1992 |
Solving the Car-Sequencing Problem in Constraint Logic Programming. M Dincbas, H Simonis, P Van Hentenryck ECAI 88, 290-295, 1988 | 300 | 1988 |
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 | 282 | 1990 |
Strategic directions in constraint programming P Van Hentenryck, V Saraswat ACM Computing Surveys (CSUR) 28 (4), 701-726, 1996 | 144 | 1996 |
Constraint-based reasoning EC Freuder, AK Mackworth MIT press 58 (1-3), 1994 | 117 | 1994 |
Solving a cutting-stock problem in constraint logic programming M Dincbas Proc. of the Fifth International Conference and Symposium on Logic …, 1988 | 95 | 1988 |
Domains in logic programming PV Hentenryck, M Dincbas Proceedings of the Fifth AAAI National Conference on Artificial Intelligence …, 1986 | 82 | 1986 |
Extending equation solving and constraint handling in logic programming M Dincbas, H Simonis, P van Hentenryck Rewriting Techniques, 87-115, 1989 | 64 | 1989 |
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 | 64 | 1987 |
Forward Checking in Logic Programming. P Van Hentenryck, M Dincbas ICLP, Melbourne, 229-256, 1987 | 61 | 1987 |
Metacontrol of logic programs in METALOG M Dincbas, JP Le Pape Proc. Fifth Generation Computer Systems (FGCS-84), Tokyo, Japan, 1984 | 59 | 1984 |
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 | 50 | 1988 |
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 | 43 | 1987 |
Propositional calculus problems in CHIP H Simonis, M Dincbas International Conference on Algebraic and Logic Programming, 189-203, 1990 | 40 | 1990 |
Using an extended prolog for digital circuit design H Simonis, M Dincbas IEEE International Workshop on AI Applications to CAD Systems for …, 1987 | 38 | 1987 |
Constraints, logic programming and deductive databases M Dincbas Proceedings of the first Franco-Japanese Symposium on Programming of future …, 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 | 33 | 1991 |
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 |