{"42711":{"#nid":"42711","#data":{"type":"event","title":"Solving Constraint Integer Programs","body":[{"value":"\u003Cp\u003E\u003Cstrong\u003ETITLE:\u003C\/strong\u003E Solving Constraint Integer Programs \n\u003C\/p\u003E\n\u003Cp\u003E\u003Cstrong\u003ESPEAKER:\u003C\/strong\u003E Timo Berthold\n\u003C\/p\u003E\n\u003Cp\u003E\u003Cstrong\u003EABSTRACT:\u003C\/strong\u003E\n\u003C\/p\u003E\n\u003Cp\u003EConstraint integer programming (CIP) is a novel way to combine constraint programming (CP) and mixed integer programming (MIP) methodologies. It is a generalization of MIP that supports the notion of general constraints as in CP. We introduce the software SCIP which is a solver and framework for constraint integer programming that also features SAT solving techniques.\n\u003C\/p\u003E\n\u003Cp\u003EWe describe the various types of plugins which turn the basic CIP framework into a fully-fledged MIP solver and explain their role in the solving process. A special focus is put on branching rules, which are in the core of any branch-and-bound algorithm. We present hybrid branching, which combines variable selection rules from CP, MIP and SAT and outperforms state-of-the-art branching rules for MIPs on common MIP benchmark sets. \u003C\/p\u003E","summary":null,"format":"limited_html"}],"field_subtitle":"","field_summary":[{"value":"Solving Constraint Integer Programs","format":"limited_html"}],"field_summary_sentence":[{"value":"Solving Constraint Integer Programs"}],"uid":"27187","created_gmt":"2009-10-12 20:35:48","changed_gmt":"2016-10-08 01:47:05","author":"Anita Race","boilerplate_text":"","field_publication":"","field_article_url":"","field_event_time":{"event_time_start":"2009-06-03T15:00:00-04:00","event_time_end":"2009-06-03T16:00:00-04:00","event_time_end_last":"2009-06-03T16:00:00-04:00","gmt_time_start":"2009-06-03 19:00:00","gmt_time_end":"2009-06-03 20:00:00","gmt_time_end_last":"2009-06-03 20:00:00","rrule":null,"timezone":"America\/New_York"},"extras":[],"groups":[{"id":"1242","name":"School of Industrial and Systems Engineering (ISYE)"}],"categories":[],"keywords":[{"id":"5206","name":"CIP"},{"id":"5207","name":"MIP"}],"core_research_areas":[],"news_room_topics":[],"event_categories":[{"id":"1795","name":"Seminar\/Lecture\/Colloquium"}],"invited_audience":[],"affiliations":[],"classification":[],"areas_of_expertise":[],"news_and_recent_appearances":[],"phone":[],"contact":[{"value":"\u003Cstrong\u003EAnita  Race\u003C\/strong\u003E\u003Cbr \/\u003EH. Milton Stewart School of Industrial and Systems Engineering\u003Cbr \/\u003E\u003Ca href=\u0022http:\/\/www.gatech.edu\/contact\/index.html?id=ar9\u0022\u003EContact Anita  Race\u003C\/a\u003E","format":"limited_html"}],"email":[],"slides":[],"orientation":[],"userdata":""}}}