Albert Atserias, Video: Sherali-Adams Relaxations and Indistinguishability in Counting Logics

Albert Atserias, Video: Sherali-Adams Relaxations and Indistinguishability in Counting Logics

Albert Atserias, Sherali-Adams Relaxations and Indistinguishability in Counting Logics, Proof complexity, BIRS, BIRS talk, 11w5103, math, mathematics, video

Banff International Research Station

Banff International Research Station

presentation

mpeg4

321M

http://www.birs.ca/events/2011/5-day-workshops/11w5103/videos

http://www.birs.ca/events/2011/5-day-workshops/11w5103/videos/watch/201110051020-Atserias.html