Per accedir als documents amb el text complet, si us plau, seguiu el següent enllaç: http://hdl.handle.net/2445/33855

Sherali-Adams Relaxations and Indistinguishability in Counting Logics
Atserias, Albert; Maneva, Elitza
Universitat de Barcelona
Lògica de primer ordre
Programació lineal
Teoria de grafs
First-order logic
Linear programming
Graph theory
(c) Society for Industrial and Applied Mathematics., 2013
Article
info:eu-repo/semantics/publishedVersion
Society for Industrial and Applied Mathematics.
         

Mostra el registre complet del document

Documents relacionats

Altres documents del mateix autor/a

Atserias, Albert; Oliva Valls, Sergi
Atserias, Albert; Galesi, Nicola; Gavaldà Mestre, Ricard