Justyna Petke

On the bridge between Constraint Satisfaction and Boolean Satisfiability
May 30th, 2012, at 12pm (s.t.)