Operations Research and Constraint Satisfaction

Studiewijzer 2025/2026

Studiemateriaal

Literatuur

• Russell, Norvig: Artificial Intelligence: A Modern Approach. Prentice Hall, 2003

• Schrijver: Theory of Linear and Integer Programming, 1986

• Lau: Algebra und Diskrete Mathematik 2, 2004

• Knuth: The Art of Computer Programming, Volume 4B: Combinatorial Algorithms, 2023

• Knuth: The Art of Computer Programming, Volume 4, Pre-Fascicile 6A, Section 7.2.2.2: Satisfiability, 2015

Software

• SAT Solvers (e.g. minisat, kissat, cryptominisat, glucose)

• ortools

• maybe GLPK or Gurobi

Leerdoelen

• Students can describe what a linear program and a constraint satisfaction problem is and can describe their elements.
• Students can solve linear optimisation and constraint satisfaction problems by hand.
• Students can analyse the computational complexity of a given type of linear programming or constraint satisfaction model.
• Students can evaluate which type of modelling language or formalism is most appropriated for a given problem.
• Students can implement methods for automatically solving linear programs and constraint satisfaction problems.
• Students can model technical and real-world problems as linear programs and constraint satisfaction problems (or specialized CS problems, e.g., SAT).

Onderwijsvormen

• Hoorcollege
• Werkcollege

Verdeling leeractiviteiten

Aanwezigheid

Aanvullende eisen voor dit vak:

Aanwezigheid is niet verplicht.

Toetsing

In het Tentamen of Hertentamen moet de student minimal 50% van de punten haalen. Als het minder dan 50% is, is de cijfer maximaal 5.0.

Inzage toetsing

Inzage word na het tentamen via mail bekend gemaakt.

Opdrachten

Opdrachten zijn individueel en worden becijferd.

Opdrachten kunnen programmeer-taken bevatten.

Fraude en plagiaat

Over het algemeen geldt dat elke uitwerking die je inlevert ter verkrijging van een beoordeling voor een vak je eigen werk moet zijn, tenzij samenwerken expliciet door de docent is toegestaan. Het inzien of kopiëren van andermans werk (zelfs als je dat hebt gevonden bij de printer, in een openstaande directory of op een onbeheerde computer) of materiaal overnemen uit een boek, tijdschrift, website, code repository of een andere bron - ook al is het gedeeltelijk - en inleveren alsof het je eigen werk is, is plagiaat.

We juichen toe dat je het cursusmateriaal en de opdrachten met medestudenten bespreekt om het beter te begrijpen. Je mag bronnen op het web raadplegen om meer te weten te komen over het onderwerp en om technische problemen op te lossen, maar niet voor regelrechte antwoorden op opgaven. Als in een uitwerking gebruik is gemaakt van externe bronnen zonder dat een bronvermelding is vermeld (bijvoorbeeld in de rapportage of in commentaar in de code), dan kan dat worden beschouwd als plagiaat.

Deze regels zijn er om alle studenten een eerlijke en optimale leeromgeving aan te kunnen bieden. De verleiding kan groot zijn om te plagiëren als de deadline voor een opdracht nadert, maar doe het niet. Elke vorm van plagiaat wordt bestraft. Als een student ernstige fraude heeft gepleegd, kan dat leiden tot het uitschrijven uit de Universiteit. Zie voor meer informatie over het fraude- en plagiaatreglement van de Universiteit van Amsterdam: www.student.uva.nl

Weekplanning

Contactinformatie

Coördinator

• dr. Gregor Behnke LLM