| No. | Title | Author | Year |
|---|---|---|---|
| 1 | Algorithms and Data Structures for First-Order Logic with Connectivity Under Vertex Failures | Pilipczuk, Michał et al. | 2022 |
| 2 | Combinatorial and Algorithmic Aspects of Monadic Stability | Dreier, Jan et al. | 2022 |
| 3 | First-Order Logic with Connectivity Operators | Schirrmacher, Nicole et al. | 2022 |
| 4 | Recursive Backdoors for SAT | Mählmann, Nikolas et al. | 2021 |
| 5 | Elimination Distance to Bounded Degree on Planar Graphs | Lindermayr, Alexander et al. | 2020 |
| 6 | Constant Delay Enumeration for FO Queries over Databases with Local Bounded Expansion | Segoufin, Luc et al. | 2017 |
| Current Page : | |
| Number of result pages: | 1 |
| Number of documents: | 6 |