AGNES -
Lehre und Prüfung online
Studierende in Vorlesung
Anmelden
Startseite

Initiation to SAT solvers - Detailseite

Grunddaten
Veranstaltungsart Seminar Veranstaltungsnummer 3313036
Semester WiSe 2025/26 SWS 2
Rhythmus Moodle-Link  
Veranstaltungsstatus Freigegeben für Vorlesungsverzeichnis  Freigegeben  Sprache englisch
Belegungsfristen - Eine Belegung ist online erforderlich Zentrale Abmeldefrist    01.07.2025 - 31.03.2026    aktuell
Zentrale Nachfrist    13.10.2025 - 16.10.2025   
Zentrale Frist    01.07.2025 - 08.10.2025   
Veranstaltungsformat Keine Angabe

Termine

Gruppe 1
Tag Zeit Rhythmus Dauer Raum Gebäude Raum-
plan		 Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Mo. 13:00 bis 15:00 Block 1307 (Seminarraum)
Stockwerk: 1. OG

alttext alttext 		Erwin-Schrödinger-Zentrum / Modul 1 - Rudower Chaussee 26 (RUD 26)

Außenbereich nutzbar Innenbereich nutzbar Parkplatz vorhanden Leitsystem im Außenbereich Barrierearmes WC vorhanden Barrierearme Anreise mit ÖPNV möglich 		Stietel findet statt     20
Gruppe 1:
Wechseln zu: jetzt belegen / abmelden


Zugeordnete Person
Zugeordnete Person Zuständigkeit
Stietel, Olivier
Studiengänge
Abschluss Studiengang LP Semester
Bachelor of Arts  Informatik Zweitfach ( Vertiefung: kein LA; POVersion: 2015 )   SPO 2022: 5 LP / SPO 2015: 3  -  
Bachelor of Arts  Informatik Zweitfach ( Vertiefung: mit LA-Option; POVersion: 2015 )   SPO 2022: 5 LP / SPO 2015: 3  -  
Bachelor of Arts  Informatik Zweitfach ( Vertiefung: mit LA-Option; POVersion: 2022 )   SPO 2022: 5 LP / SPO 2015: 3  -  
Bachelor of Arts  Informatik Zweitfach ( Vertiefung: mit LA-Option; POVersion: 2024 )   SPO 2022: 5 LP / SPO 2015: 3  -  
Bachelor of Arts  Informationsman. & -tech. Monobachelor ( Vertiefung: kein LA; POVersion: 2017 )   SPO 2022: 5 LP / SPO 2015: 3  -  
Bachelor of Science  Info, Mathe und Physik Monobachelor ( Vertiefung: kein LA; POVersion: 2019 )   SPO 2022: 5 LP / SPO 2015: 3  -  
Bachelor of Science  Info, Mathe und Physik Monobachelor ( Vertiefung: kein LA; POVersion: 2025 )     -  
Bachelor of Science  Informatik Kernfach ( Vertiefung: kein LA; POVersion: 2015 )   SPO 2022: 5 LP / SPO 2015: 3  -  
Bachelor of Science  Informatik Kernfach ( Vertiefung: mit LA-Option; POVersion: 2015 )   SPO 2022: 5 LP / SPO 2015: 3  -  
Bachelor of Science  Informatik Monobachelor ( Vertiefung: kein LA; POVersion: 2015 )   SPO 2022: 5 LP / SPO 2015: 3  -  
Bachelor of Science  Informatik Zweitfach ( Vertiefung: kein LA; POVersion: 2015 )   SPO 2022: 5 LP / SPO 2015: 3  -  
Bachelor of Science  Informatik Zweitfach ( Vertiefung: mit LA-Option; POVersion: 2015 )   SPO 2022: 5 LP / SPO 2015: 3  -  
Bachelor of Science  Informatik Kernfach ( Vertiefung: mit LA-Option; POVersion: 2022 )   SPO 2022: 5 LP / SPO 2015: 3  -  
Bachelor of Science  Informatik Monobachelor ( Vertiefung: kein LA; POVersion: 2022 )   SPO 2022: 5 LP / SPO 2015: 3  -  
Bachelor of Science  Informatik Zweitfach ( Vertiefung: mit LA-Option; POVersion: 2022 )   SPO 2022: 5 LP / SPO 2015: 3  -  
Bachelor of Science  Informatik Kernfach ( Vertiefung: mit LA-Option; POVersion: 2024 )   SPO 2022: 5 LP / SPO 2015: 3  -  
Bachelor of Science  Informatik Zweitfach ( Vertiefung: mit LA-Option; POVersion: 2024 )   SPO 2022: 5 LP / SPO 2015: 3  -  
Programmstud.-o.Abl.  Chemie Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.  Geographie Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.  Informatik Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.  Mathematik Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.  Physik Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.MA  Chemie Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.MA  Geographie Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.MA  Global Change Geography Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.MA  Informatik Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.MA  Mathematik Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.MA  Optical Sciences Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.MA  Physik Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.MA  Polymer Science Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.MA  Urbane Geographien Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.Prom.  Informatik Programm ( POVersion: 1999 )     -  
Promotion  Informatik Hauptfach ( POVersion: 2000 )     -  
Promotion  Informatik Hauptfach ( Vertiefung: kein LA; POVersion: 2018 )     -  
Zuordnung zu Einrichtungen
Einrichtung
Mathematisch-Naturwissenschaftliche Fakultät, Institut für Informatik
Inhalt
Kommentar

In the SAT problem, we are given a Boolean formula and the task is to determine if there is an assignment of the variables which satisfies the formula. This problem is the archetype of a NP-complete problem. Therefore, it is both hard to solve, but also of great importance to be able to solve it, as many other problems reduce to it. During this project, we will learn how to design and implement a SAT-solver as well as how to use SAT-solvers to solve other problems.
Bemerkung

The seminar will be fully in English

Strukturbaum

Die Veranstaltung wurde 1 mal im Vorlesungsverzeichnis WiSe 2025/26 gefunden:

Ansprechpartner:innen | Barrierefreiheit | Impressum | Datenschutzerklärung
Humboldt-Universität zu Berlin | Unter den Linden 6 | D-10099 Berlin