The complexity of quantified constraints using the algebraic formulation

Catarina Carvalho, Barnaby Martin, Dmitriy Zhuk

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

3 Citations (Scopus)

39 Downloads (Pure)

Original language	English
Title of host publication	42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017)
DOIs	https://doi.org/10.4230/LIPIcs.MFCS.2017.27
Publication status	Published - 7 Nov 2017

Access to Document

@inbook{951b77ba6a9f4c1fb1c12771987688bf,

title = "The complexity of quantified constraints using the algebraic formulation",

author = "Catarina Carvalho and Barnaby Martin and Dmitriy Zhuk",

year = "2017",

month = nov,

day = "7",

doi = "10.4230/LIPIcs.MFCS.2017.27",

language = "English",

booktitle = "42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017)",

}

TY - CHAP

T1 - The complexity of quantified constraints using the algebraic formulation

AU - Carvalho, Catarina

AU - Martin, Barnaby

AU - Zhuk, Dmitriy

PY - 2017/11/7

Y1 - 2017/11/7

U2 - 10.4230/LIPIcs.MFCS.2017.27

DO - 10.4230/LIPIcs.MFCS.2017.27

M3 - Chapter (peer-reviewed)

BT - 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017)

ER -