Answer set solving in practice, modeling, cases (queens)
Channel: Potassco
Date: 2020-11-06

This video gradually develops an encoding for the n-queens puzzle along the generate-and-test methodology of ASP

Sorry for the length :)