Informal Group Meeting We will meet to speak about Ilkka Niemelä's ,,Bounded Model Checking using Answer Set Programming''.
© myboys.me/stock.adobe.com
Informal Group Meeting We will meet to speak about Ilkka Niemelä's ,,Bounded Model Checking using Answer Set Programming''.
Our website uses cookies. These have two functions: Firstly, they are necessary for the basic functionality of our website. On the other hand, with the help of cookies, we can continually improve our content for you. For this purpose, pseudonymised data of website visitors is collected and analysed. By clicking on Settings, you can also select the individual cookies you wish to accept. You can revoke your consent to the use of cookies at any time, even partially. You can find more information about cookies on this website in our privacy declaration and about us in the imprint.