Video From 14w5136: Algebraic and Model Theoretical Methods in Constraint Satisfaction

Tuesday, November 25, 2014 11:21 - 11:40
Algebraic Algorithms for the Inference Problem in Propositional Circumscription

Download this video (49M)



Other videos from this workshop