Now showing items 1-2 of 2

    • On Symmetric Circuits and Fixed-Point Logics 

      Anderson, Matthew; Dawar, Anuj (Springer, 2016)
      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 elements of the ...
    • Solving Linear Programs without Breaking Abstractions 

      Anderson, Matthew; Dawar, Anuj; Holm, Bjarki (ACM, 2015-12-10)
      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 algorithmic implementation of the method that ...