| Document Date: 2014-02-14 15:26:57
Open Document File Size: 278,94 KBShare Result on Facebook
Company S & p / / / Facility University of New South Wales / / IndustryTerm car sequencing problem / search tree / constraint network / conflict analysis algorithm / partial solution / car sequencing problems / explanation algorithm / / Organization University of New South Wales / / Person Roche / / Position avenue du colonel / CP model / albeit expressed slightly differently / / Product Mistral / / ProvinceOrState California / / Region South Wales / / Technology DPLL algorithm / filtering algorithm / CDCL algorithms / CDCL conflict analysis algorithm / hybridization / explanation algorithm / DPLL algorithms / /
SocialTag |
SAT and Hybrid models of the Car Sequencing problem Christian Artigues1,2 , Emmanuel Hebrard1,2 , Valentin Mayer-Eichberger3,4 , Mohamed Siala1,5 , and Toby Walsh3,4 1 CNRS, LAAS, 7 avenue du colonel Roche, FToul