BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Computational Optimisation Group - ECPv6.15.11//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://optimisation.doc.ic.ac.uk
X-WR-CALDESC:Events for Computational Optimisation Group
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:UTC
BEGIN:STANDARD
TZOFFSETFROM:+0000
TZOFFSETTO:+0000
TZNAME:UTC
DTSTART:20180101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=UTC:20191206T140000
DTEND;TZID=UTC:20191206T153000
DTSTAMP:20260429T082153
CREATED:20191205T141856Z
LAST-MODIFIED:20191205T141940Z
UID:1432-1575640800-1575646200@optimisation.doc.ic.ac.uk
SUMMARY:Seminar by  Associate Professor Jakob Nordström
DESCRIPTION:TITLE:\nLearn to Relax: Integrating Integer Linear Programming with Conflict-Driven Search\n\n  \nABSTRACT:\nPseudo-Boolean (PB) solvers optimize 0-1 integer linear programs by\nextending the conflict-driven learning paradigm from SAT solving.\nThough PB solvers should be exponentially more efficient than SAT\nsolvers in theory\, in practice they can sometimes get hopelessly stuck\neven when the relaxed linear program (LP) is infeasible over the\nreals.  Inspired by mixed integer programming (MIP)\, we address this\nproblem by interleaving incremental LP solving with cut generation\nwithin the conflict-driven PB search.  This hybrid approach\, which for\nthe first time combines MIP techniques with full-blown conflict\nanalysis over linear inequalities using the cutting planes method\,\nsignificantly improves performance on a wide range of benchmarks\,\napproaching a “best of two worlds” scenario between SAT-style\nconflict-driven search and MIP-style branch-and-cut.
URL:https://optimisation.doc.ic.ac.uk/event/seminar-by-associate-professor-jakob-nordstrom/
LOCATION:Huxley 217
END:VEVENT
END:VCALENDAR