TY  - RPRT
TI  - Compact SAT and MaxSAT Encodings for Business-to-Business Meeting Scheduling with Idle-Time Balancing
AU  - Long Duc Nguyen
AU  - Tuyen Van Kieu
AU  - Khanh Van To
PY  - 2026
UR  - https://arxiv.org/abs/2608.00614
ID  - 2608.00614
ER  -