Optimising Cyclic Timetables with a SAT Approach - EPIA 2017.

Gonçalo P. Matos Luis Albino Ricardo L. Saldanha Ernesto M. Morgado

Published in: EPIA (2017)

Keyphrases

satisfiability problem
sat problem
sat solvers
boolean satisfiability
timetabling problem
search algorithm
sat solving
sat encodings
stochastic local search algorithms
phase transition
propositional satisfiability
feasible solution
max sat
pseudo boolean constraints
genetic programming
stochastic local search