Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: 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
Artículo
info:eu-repo/semantics/publishedVersion
Society for Industrial and Applied Mathematics.
         

Mostrar el registro completo del ítem

Documentos relacionados