Minimal perturbation in university timetabling with maximum satisfiability

DOI10.1007/978-3-030-58942-4_21OpenAlexW3009888491MaRDI QIDQ2110422

Alexandre Lemos, Inês Lynce, Pedro T. Monteiro

Publication date: 21 December 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-58942-4_21

zbMATH Keywords

MaxSATuniversity course timetablingminimal perturbation

Mathematics Subject Classification ID

Combinatorial optimization (90C27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Operations research and management science (90Bxx)

This page was built for publication: Minimal perturbation in university timetabling with maximum satisfiability