Publisher
Springer Berlin Heidelberg
Reference32 articles.
1. Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools. Addison-Wesley Longman Publishing Co., Inc. Boston, MA, USA (1986)
2. Aggoun, A., Beldiceanu, N.: Extending CHIP in order to solve complex scheduling and placement problems. Mathl. Comput. Modelling, 17 (7): 57–73 (1993)
3. Barwise, J.: An introduction to first-order logic. In: Barwise J. ed. (1982), Handbook of Mathematical Logic (Studies in Logic and the Foundations of Mathematics). North-Holland (1977)
4. Benhamou, F.: Interval constraint logic programming. Constraint Programming 1994: 1–21 (1994)
5. Bleuzen-Guernalec, N., Colmerauer, A.: Optimal narrowing of a block of sortings in optimal time. Constraints, 5(1/2): 85–118 (2000)