Periodic Reporting for period 4 - AUTAR (A Unified Theory of Algorithmic Relaxations)

"One of the declared objectives of the project proposal was to pushforward the a priori observation that two methods from different areasfor designing algorithms for constraint satisfaction problems (CSPs)match in strength: 1) the hierarchies of relaxations arising from...