TY  - GEN 
AU  - Bofill, Miquel
AU  - Giráldez Cru, Jesús
PY  - 2022
UR  - https://hdl.handle.net/10481/77297
AB  - The B2B scheduling optimization problem consists of finding a schedule of a set of meetings between pairs of participants,
minimizing their number of idle time periods. Recent works have shown that SAT-based approaches are state-of-the-art
on this...
LA  - eng
PB  - Springer
KW  - Timetabling
KW  - MaxSAT
KW  - Implied constraints
TI  - The Impact of Implied Constraints on MaxSAT B2B Instances
DO  - 10.1007/s44196-022-00121-5
ER  -