Login / Signup
Minimizing Working-Group Conflicts in Conference Session Scheduling Through Maximum Satisfiability (Short Paper).
Mohamed Sami Cherif
Heythem Sattoutah
Chu-Min Li
Corinne Lucet
Laure Brisoux Devendeville
Published in:
CP (2024)
Keyphrases
</>
working group
maximum satisfiability
max sat
boolean satisfiability
scheduling problem
working conference
sat problem
combinatorial problems
database
np complete
sat solvers