\"The recent work on the project included the understanding of hardness for promise CSPs, and the role of #BIS (independent sets in bipartite graphs) in counting complexity of homomorphism problems related to CSPs. This is well aligned with the overall project goal of...
\"The recent work on the project included the understanding of hardness for promise CSPs, and the role of #BIS (independent sets in bipartite graphs) in counting complexity of homomorphism problems related to CSPs. This is well aligned with the overall project goal of understanding the complexity of CSPs and its variants.\"
Main results include several complexity classifications for various fragments of constraint satisfaction problems.
The recent work on PCSPs (promise CSPs) wasn\'t envisaged in the proposal and is a nice surprise.
More info: http://www.cs.ox.ac.uk/standa.zivny/homepage/powalgdo.html.