Login / Signup
Heythem Sattoutah
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Sat Solvers
Working Group
Combinatorial Problems
Maximum Satisfiability
Top Venues
CP
</>
Publications
</>
Mohamed Sami Cherif
,
Heythem Sattoutah
,
Chu-Min Li
,
Corinne Lucet
,
Laure Brisoux Devendeville
Minimizing Working-Group Conflicts in Conference Session Scheduling Through Maximum Satisfiability (Short Paper).
CP
(2024)