PhD defense: Certifying Combinatorial Optimization : A Unified Approach Using Pseudo-Boolean Reasoning

May 29th, 13:30

Lecture Hall E:1406, building E, Ole Römers väg 3, Faculty of Engineering LTH, Lund University, Lund and via Zoom

Welcome to the doctoral defense of Andy Oertel

Date and time: May 29, 13:30

Location: Lecture Hall E:1406, building E, Ole Römers väg 3, Faculty of Engineering LTH, Lund University, Lund. The dissertation will be live streamed, but part of the premises is to be excluded from the live stream. Zoom: https://lu-se.zoom.us/j/62120595427?pwd=WxX7P4o79C4XRQAfrwmQPaunS1ieBh.1

Doctoral student: Andy Oertel

Title:Certifying Combinatorial Optimization : A Unified Approach Using Pseudo-Boolean Reasoning

Information about the defense (lu.se)

Doctoral thesis

Subscribe to our newsletter

The WASP newsletter gathers news, recent activities and upcoming events within the program.

We use cookies to personalise content and ads, to provide social media features and to analyse our traffic. We also share information about your use of our site with our social media, advertising and analytics partners. View more

Cookies settings

Privacy & Cookie policy

Privacy & Cookies policy

Cookie name	Active
pll_language

The WASP website wasp-sweden.org uses cookies. Cookies are small text files that are stored on a visitor’s computer and can be used to follow the visitor’s actions on the website. There are two types of cookie:

permanent cookies, which remain on a visitor’s computer for a certain, pre-determined duration,
session cookies, which are stored temporarily in the computer memory during the period under which a visitor views the website. Session cookies disappear when the visitor closes the web browser.

Permanent cookies are used to store any personal settings that are used. If you do not want cookies to be used, you can switch them off in the security settings of the web browser. It is also possible to set the security of the web browser such that the computer asks you each time a website wants to store a cookie on your computer. The web browser can also delete previously stored cookies: the help function for the web browser contains more information about this. The Swedish Post and Telecom Authority is the supervisory authority in this field. It provides further information about cookies on its website, www.pts.se.

Cookies settings