All Stories

  1. The complexity of quantified constraints: the algebraic formulation

    Article • ACM Transactions on Computational Logic, January 2023, ACM (Association for Computing Machinery)

    Catarina Carvalho