This ebook constitutes the refereed lawsuits of the 1st foreign convention on Integration of AI and OR suggestions in Constraint Programming for Combinatorial Optimization difficulties, CPAIOR 2004, held in great, France in April 2004. The 23 revised complete papers and seven revised brief papers offered including an invited speak have been conscientiously reviewed and chosen from fifty six submissions.

For greater than the final 3 many years, the safety of software program structures has been an incredible quarter of machine technological know-how, but it's a relatively fresh common acceptance that applied sciences for software program defense are hugely wanted. This publication assesses the cutting-edge in software program and platforms defense through offering a gently prepared collection of revised invited and reviewed papers.