Jakub Rydval

MaRDI QIDQ2055792zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Homogeneity and Homogenizability: Hard Problems for the Logic SNP (available as arXiv preprint)	N/A	Paper
Three fundamental questions in modern infinite-domain constraint satisfaction	2026-08-05	Paper
Identifying tractable quantified temporal constraints within Ord-Horn	2026-01-14	Paper
Homogeneity and homogenizability: hard problems for the logic SNP	2026-01-14	Paper
The Golden Path to Guarded Monotone Strict NP (available as arXiv preprint)	2026-01-01	Paper
Deciding Amalgamation Beyond Arity Two: The Semantic Horn Case (available as arXiv preprint)	2026-01-01	Paper
Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction (available as arXiv preprint)	2025-01-01	Paper
The random ordered graph is a semi-retract of the canonically ordered atomless Boolean algebra (available as arXiv preprint)	2025-01-01	Paper
Containment for guarded monotone strict NP	2025-01-01	Paper
On the descriptive complexity of temporal constraint satisfaction problems Journal of the ACM	2024-07-04	Paper
Description logics with concrete domains and general concept inclusions revisited	2022-11-09	Paper
Using model theory to find decidable and tractable description logics with concrete domains Journal of Automated Reasoning	2022-10-24	Paper
Universal Horn Sentences and the Joint Embedding Property Discrete Mathematics & Theoretical Computer Science	2022-09-30	Paper
Universal Horn Sentences and the Joint Embedding Property Discrete Mathematics & Theoretical Computer Science	2022-09-30	Paper
Tractable combinations of temporal CSPs (available as arXiv preprint)	2022-08-02	Paper
Tractable combinations of temporal CSPs	2022-08-02	Paper
An algebraic view on p-admissible concrete domains for lightweight description logics	2021-12-01	Paper
Temporal constraint satisfaction problems in fixed-point logic Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-21	Paper
Tractable Combinations of Temporal CSPs (available as arXiv preprint)	2020-12-10	Paper

Research outcomes over time

This page was built for person: Jakub Rydval