Como usar simultaneamente a regra "cada dia precisa de pelo menos um item" e a regra "um dia tem o maior número de itens" para forçar uma atribuição única por exclusão?

Preencha colunas necessárias e use o máximo para exigir vagas extras; elimine quem não pode ocupar até restar um único candidato.

Explicação:
1) A regra de cobertura (cada dia ≥1) indica que certos dias ainda precisam ser preenchidos, limitando quem pode ir a esses dias.
2) A regra do máximo (um dia com mais itens) obriga que esse dia receba itens adicionais além dos já conhecidos.
3) Cruzando essas duas restrições com as posições já fixas, muitas opções são eliminadas; se sobrar apenas um candidato para um dia, sua posição é única.

exemplo:

	Seg	Ter	Qua	Qui
Prof A	-	-	✔	-
Prof B	✔	✔	-	-
Prof C	?	?	?	?

Regras:
- Cada dia deve ter ao menos um professor.
- Qua é o dia com mais professores.
- B não pode dar aula na Qua e A só dá na Qua.
Aplicando cobertura, a Qui ainda precisa de alguém; só o C pode preencher. Como Qua precisa ser o mais cheio e já tem A, é preciso mais um — B não pode, logo C deve também ocupar Qua. Assim C fica com Qua e Qui, determinado por exclusão.