Jakub Rydval
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2020–2026
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | MFCS | The Polynomial Hierarchy and ω-Categorical CSPs. | Santiago Guzmn-Pro, Jakub Rydval |
| 2025 | ICALP | Containment for Guarded Monotone Strict NP. | Alexey Barsukov, Michael Pinsker, Jakub Rydval |
| 2025 | MFCS | Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction. | Michael Pinsker, Jakub Rydval, Moritz Schbi, Christoph Spiess |
| 2024 | ICALP | Homogeneity and Homogenizability: Hard Problems for the Logic SNP. | Jakub Rydval |
| 2024 | ICALP | Identifying Tractable Quantified Temporal Constraints Within Ord-Horn. | Jakub Rydval, Zaneta Semanisinov, Michal Wrona |
| 2021 | JELIA | An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics. | Franz Baader, Jakub Rydval |
| 2020 | CADE | Description Logics with Concrete Domains and General Concept Inclusions Revisited. | Franz Baader, Jakub Rydval |
| 2020 | LICS | Temporal Constraint Satisfaction Problems in Fixed-Point Logic. | Manuel Bodirsky, Wied Pakusa, Jakub Rydval |