42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017, August 21-25, 2017 - Aalborg, Denmarkсборник
Статьи, опубликованные в сборнике
-
-
2017
The Complexity of Quantified Constraints Using the Algebraic Formulation
-
Catarina Carvalho,
Barnaby Martin,
Dmitriy Zhuk
-
в сборнике 42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017, August 21-25, 2017 - Aalborg, Denmark, серия Leibniz International Proceedings in Informatics (LIPIcs), место издания Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik Dagstuhl, Germany, том 83, с. 27:1-27:14
DOI