On guarded extensions of MMSNP
From MaRDI portal
Publication:6149045
DOI10.1007/978-3-031-36978-0_17arXiv2305.04234MaRDI QIDQ6149045
Florent R. Madelaine, Alexey Barsukov
Publication date: 12 January 2024
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2305.04234
Cites Work
- ASNP: a tame fragment of existential second-order logic
- Graph partitions with prescribed patterns
- Complexity of Infinite-Domain Constraint Satisfaction
- Universal Structures and the logic of Forbidden Patterns
- On the Structure of Polynomial Time Reducibility
- Relations Among Complexity Measures
- The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory
- Ontology-Based Data Access
- A Proof of the CSP Dichotomy Conjecture