A Definability Dichotomy for Finite Valued CSPs. (2015)

First Author: Anuj Dawar
Attributed to:  Descriptive Complexity with Algebraic Operators funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://drops.dagstuhl.de/opus/volltexte/2015/5407

Type: Conference/Paper/Proceeding/Abstract

Volume: 24th EACSL Annual Conference on Computer Science Logic

ISSN: 18688969