Laborie, Philippe Algorithms for propagating resource constraints in AI planning and scheduling: Existing approaches and new results. (English) Zbl 1079.68622 Artif. Intell. 143, No. 2, 151-188 (2003). MSC: 68T20 90B35 PDFBibTeX XMLCite \textit{P. Laborie}, Artif. Intell. 143, No. 2, 151--188 (2003; Zbl 1079.68622) Full Text: DOI
Guéret, C.; Jussien, N.; Lhomme, O.; Pavageau, C.; Prins, C. Loading aircraft for military operations. (English) Zbl 1070.90502 J. Oper. Res. Soc. 54, No. 5, 458-465 (2003). MSC: 90B06 90C27 PDFBibTeX XMLCite \textit{C. Guéret} et al., J. Oper. Res. Soc. 54, No. 5, 458--465 (2003; Zbl 1070.90502) Full Text: DOI
Van Roy, Peter; Brand, Per; Duchier, Denys; Haridi, Seif; Schulte, Christian; Henz, Martin Logic programming in the context of multiparadigm programming: The Oz experience. (English) Zbl 1090.68017 Theory Pract. Log. Program. 3, No. 6, 717-763 (2003). MSC: 68N17 PDFBibTeX XMLCite \textit{P. Van Roy} et al., Theory Pract. Log. Program. 3, No. 6, 717--763 (2003; Zbl 1090.68017) Full Text: DOI
Redl, Timothy A. Graceful graphs and graceful labelings: Two mathematical programming formulations and some other new results. (English) Zbl 1048.05073 Congr. Numerantium 164, 17-31 (2003). Reviewer: Fedor Fomin (Bergen) MSC: 05C78 90C10 90C35 PDFBibTeX XMLCite \textit{T. A. Redl}, Congr. Numerantium 164, 17--31 (2003; Zbl 1048.05073)
Freuder, Eugene C.; Wallace, Mark Constraint satisfaction. (English) Zbl 1102.90379 Glover, Fred (ed.) et al., Handbook of metaheuristics. Boston, MA: Kluwer Academic Publishers (ISBN 1-4020-7263-5/hbk). Int. Ser. Oper. Res. Manag. Sci. 57, 405-428 (2003). MSC: 90C59 68T20 90C27 PDFBibTeX XMLCite \textit{E. C. Freuder} and \textit{M. Wallace}, Int. Ser. Oper. Res. Manag. Sci. 57, 405--428 (2003; Zbl 1102.90379) Full Text: DOI
Valouxis, Christos; Housos, Efthymios Constraint programming approach for school timetabling. (English) Zbl 1039.90039 Comput. Oper. Res. 30, No. 10, 1555-1572 (2003). MSC: 90B90 90C27 PDFBibTeX XMLCite \textit{C. Valouxis} and \textit{E. Housos}, Comput. Oper. Res. 30, No. 10, 1555--1572 (2003; Zbl 1039.90039) Full Text: DOI
Hnich, Brahim Function variables for constraint programming. (English) Zbl 1159.68390 AI Commun. 16, No. 2, 131-132 (2003). MSC: 68N19 PDFBibTeX XMLCite \textit{B. Hnich}, AI Commun. 16, No. 2, 131--132 (2003; Zbl 1159.68390)
Rossi, Francesca (ed.) Principles and practice of constraint programming – CP 2003. 9th international conference, CP 2003, Kinsale, Ireland, September 29 – October 3, 2003. Proceedings. (English) Zbl 1024.00062 Lecture Notes in Computer Science. 2833. Berlin: Springer. xix, 1005 p. (2003). MSC: 00B25 68-06 68N19 68T20 PDFBibTeX XMLCite \textit{F. Rossi} (ed.), Principles and practice of constraint programming -- CP 2003. 9th international conference, CP 2003, Kinsale, Ireland, September 29 -- October 3, 2003. Proceedings. Berlin: Springer (2003; Zbl 1024.00062) Full Text: DOI Link
de Boer, Frank S.; van Eijk, Rogier M.; van der Hoek, Wiebe; Meyer, John-Jules Ch. A fully abstract model for the exchange of information in multi-agent systems. (English) Zbl 1038.68019 Theor. Comput. Sci. 290, No. 3, 1753-1773 (2003). MSC: 68N15 68Q55 PDFBibTeX XMLCite \textit{F. S. de Boer} et al., Theor. Comput. Sci. 290, No. 3, 1753--1773 (2003; Zbl 1038.68019) Full Text: DOI
Tini, Simone An axiomatic semantics for the synchronous language Gentzen. (English) Zbl 1035.68061 J. Comput. Syst. Sci. 66, No. 2, 316-348 (2003). MSC: 68Q55 PDFBibTeX XMLCite \textit{S. Tini}, J. Comput. Syst. Sci. 66, No. 2, 316--348 (2003; Zbl 1035.68061) Full Text: DOI
Duchier, Denys Dominance constraints with Boolean connectives: A model-eliminative treatment. (English) Zbl 1025.68098 Theor. Comput. Sci. 293, No. 2, 321-343 (2003). MSC: 68T50 PDFBibTeX XMLCite \textit{D. Duchier}, Theor. Comput. Sci. 293, No. 2, 321--343 (2003; Zbl 1025.68098) Full Text: DOI
Gervet, Carmen (ed.); Wallace, Mark (ed.) Integrating constraint programming, artificial intelligence and operations research (CP-AI-OR). Selected papers from the CP-AI-OR workshop, Wye, Kent, UK, April 8–10, 2001. (English) Zbl 1009.00516 Ann. Oper. Res. 118, 150 p. (2003). MSC: 00B25 68-06 90-06 PDFBibTeX XMLCite \textit{C. Gervet} (ed.) and \textit{M. Wallace} (ed.), Ann. Oper. Res. 118, 150~p. (2003; Zbl 1009.00516) Full Text: DOI
Ajili, Farid; El Sakkout, Hani A probe-based algorithm for piecewise linear optimization in scheduling. (English) Zbl 1029.90043 Ann. Oper. Res. 118, 35-48 (2003). Reviewer: I.N.Lushchakova (Minsk) MSC: 90C08 90B35 PDFBibTeX XMLCite \textit{F. Ajili} and \textit{H. El Sakkout}, Ann. Oper. Res. 118, 35--48 (2003; Zbl 1029.90043) Full Text: DOI