Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (vol. # 3990) Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings - International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems 2006 Cork, Ireland); Beck, J. Christopher; Smith, Barbara; SpringerLink (Online service) (Berlin Heidelberg : Springer-Verlag GmbH., 2006)
Keywords: Formal methods (Computer science) -- Congresses; Integrated circuits -- Verification -- Congresses