1 junho 2022, 17:00 • Pedro Luís Ribeiro Carrott
Satisfação de restrições: formulação e algoritmos de procura.