All Stories

  1. A tame family of constraint satisfaction problems shows exotic behavior when approached using logic

    Article • Journal of the ACM, December 2022, ACM (Association for Computing Machinery)

    Jakub Rydval, Manuel Bodirsky