Tractability Frontier for Dually-Closed Ord-Horn Quantified Constraint Satisfaction Problems

DOI10.1007/978-3-662-44522-8_45zbMath1425.68148arXiv2109.02721OpenAlexW395611343MaRDI QIDQ2922046

Michał Wrona

Publication date: 14 October 2014

Published in: Mathematical Foundations of Computer Science 2014 (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2109.02721

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in computer science (03B70)

Related Items

Quantified Constraints in Twenty Seventeen