Login / Signup

Minimizing Working-Group Conflicts in Conference Session Scheduling Through Maximum Satisfiability (Short Paper).

Mohamed Sami CherifHeythem SattoutahChu-Min LiCorinne LucetLaure 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