Exploració per autor "Torunczyk, Szymon Abram"

Ara es mostren els items 1-2 de 2

    • Homomorphism problems for first-order definable structures 

      Klin, Bartek; Lasota, Slawomir; Ochremiak, Joanna Regina; Torunczyk, Szymon Abram (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016)
      Text en actes de congrés
      Accés obert
      We investigate several variants of the homomorphism problem: given two relational structures, is there a homomorphism from one to the other? The input structures are possibly infinite, but definable by first-order ...

    • Non-homogenizable classes of finite structures 

      Atserias, Albert; Torunczyk, Szymon Abram (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016)
      Text en actes de congrés
      Accés obert
      Homogenization is a powerful way of taming a class of finite structures with several interesting applications in different areas, from Ramsey theory in combinatorics to constraint satisfaction problems (CSPs) in computer ...