In: CPAIOR 2007. Integration of AI and OR techniques in constraint programming for combinatorial optimization problems. 4th international conference. Brussels, 2007. (Lecture notes in computer science 4510.).
Computing tight time windows for RCPSPWET with the primal-dual method
In: Recent advances in parallel virtual machine and message passing interface. 14th European PVM/MPI User's Group meeting. Paris, 2007. (Lecture notes in computer science 4757.).
Correctness debugging of message passing programs using model verification techniques