Now showing items 1-2 of 2

    • On Symmetric Circuits and Fixed-Point Logics 

      Anderson, Matthew; Dawar, Anuj (2016)
      © 2016 The Author(s)We study properties of relational structures, such as graphs, that are decided by families of Boolean circuits. Circuits that decide such properties are necessarily invariant to permutations of the ...
    • Solving Linear Programs without Breaking Abstractions 

      Anderson, Matthew; Dawar, Anuj; Holm, Bjarki (2015-12-10)
      © 2015 ACM 0004-5411/2015/12-ART44 $15.00.We show that the ellipsoid method for solving linear programs can be implemented in a way that respects the symmetry of the program being solved. That is to say, there is an ...