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
Michal Wrona, Video: Algebraic Algorithms for the Inference Problem in Propositional Circumscription
Michal Wrona, Video: Algebraic Algorithms for the Inference Problem in Propositional Circumscription
Michal Wrona, Algebraic Algorithms for the Inference Problem in Propositional Circumscription, Algebraic and Model Theoretical Methods in Constraint Satisfaction, BIRS, BIRS talk, 14w5136, math, mathematics, video
Banff International Research Station
Banff International Research Station
presentation
mpeg4
49M
http://www.birs.ca/events/2014/5-day-workshops/14w5136/videos

Download this video (49M)

Other videos from this workshop