Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 

ONLINE im SoSe 21: Quantified Boolean Formulas: Solving and Proofs - Einzelansicht

  • Funktionen:
Grunddaten
Veranstaltungsart Vorlesung Langtext
Veranstaltungsnummer 187217 Kurztext
Semester SS 2021 SWS 2
Teilnehmer 1. Platzvergabe 10 Max. Teilnehmer 2. Platzvergabe 10
Rhythmus Jedes 2. Semester Studienjahr
Credits für IB und SPZ
E-Learning
Hyperlink
Sprache Deutsch
Belegungsfrist Standardbelegung Wintersemester ab Mitte August/ Sommersemester ab Mitte Februar
Abmeldefristen B1 - Belegung ohne Abmeldung    22.02.2021 09:00:00 - 06.04.2021 07:59:59   
Nach Zulassung ist eine Abmeldung nur durch den Dozenten möglich.
B2 - Belegung mit Abmeldung 6 Wochen    06.04.2021 08:00:00 - 24.05.2021 23:59:59   
Nach Zulassung ist eine Abmeldung auch durch den Teilnehmer möglich.
B3 - Belegung ohne Abmeldung    25.05.2021 00:00:01 - 16.08.2021 07:59:59    aktuell
Nach Zulassung ist eine Abmeldung nur durch den Dozenten möglich.
Termine Gruppe: 1-Gruppe iCalendar Export für Outlook
  Tag Zeit Rhythmus Dauer Raum Lehrperson (Zuständigkeit) Status Bemerkung fällt aus am Max. Teilnehmer 2. Platzvergabe
Einzeltermine anzeigen Fr. 12:00 bis 14:00 w. 23.04.2021 bis
16.07.2021
    findet statt  
Gruppe 1-Gruppe:



Zugeordnete Person
Zugeordnete Person Zuständigkeit
Blinkhorn, Joshua verantwortlich
Zuordnung zu Einrichtungen
Fakultät für Mathematik und Informatik
Inhalt
Kommentar

Kann über Anerkennungsmodul belegt werden und gibt 3 ECTS/LP.

 1.Termin: 23.4.21

We will study state-of-the-art solving techniques and associated proof systems for quantified Boolean formulas (QBF), an important test case for algorithmic progress in automated reasoning.


No prerequsite knowledge is essential for this course, but the lecture `Alogorithmisches Beweisen' would be an ideal foundation.


We will cover the following topics:

- Existential and universal quantification in Boolean logic
- QBF decision procedures and solvers
- QBF proof systems based on resolution
- Analysis of solvers using proof complexity
- Universal expansion and universal reduction (QCDCL)
- Dedicated lower bound techniques and hard formulas
- Syntactic and semantic variable dependence

Strukturbaum
Die Veranstaltung wurde 4 mal im Vorlesungsverzeichnis SoSe 2021 gefunden:
Vertiefung Informatik  - - - 2

Impressum | Datenschutzerklärung