Answer set solving in practice, modeling, methodology
Channel: Potassco
Date: 01/11/2020

This video summarizes ASP's methodology for problem encoding