Answer set solving in practice, solving, conflict-driven nogood learning, propagation
Channel: Potassco
Date: 2021-01-20

This video discusses an algorithm for nogood propagation, relying on unit propagation and unfounded set detection