| No. |
Title |
Author |
Year |
| 1 |
Complexity Framework for Forbidden Subgraphs III: When Problems Are Tractable on Subcubic Graphs |
Johnson, Matthew et al. |
2023 |
| 2 |
Depth Lower Bounds in Stabbing Planes for Combinatorial Principles |
Dantchev, Stefan et al. |
2022 |
| 3 |
Partitioning H-Free Graphs of Bounded Diameter |
Brause, Christoph et al. |
2021 |
| 4 |
QCSP on Reflexive Tournaments |
Larose, Benoît et al. |
2021 |
| 5 |
Acyclic, Star and Injective Colouring: A Complexity Picture for H-Free Graphs |
Bok, Jan et al. |
2020 |
| 6 |
Colouring H-Free Graphs of Bounded Diameter |
Martin, Barnaby et al. |
2019 |
| 7 |
Resolution and the Binary Encoding of Combinatorial Principles |
Dantchev, Stefan et al. |
2019 |
| 8 |
Consistency for Counting Quantifiers |
Madelaine, Florent R. et al. |
2018 |
| 9 |
Disconnected Cuts in Claw-free Graphs |
Martin, Barnaby et al. |
2018 |
| 10 |
Surjective H-Colouring over Reflexive Digraphs |
Larose, Benoit et al. |
2018 |
| 11 |
The Complexity of Disjunctive Linear Diophantine Constraints |
Bodirsky, Manuel et al. |
2018 |
| 12 |
Quantified Constraints in Twenty Seventeen |
Martin, Barnaby |
2017 |
| 13 |
The Complexity of Quantified Constraints Using the Algebraic Formulation |
Carvalho, Catarina et al. |
2017 |
| 14 |
Constraint Satisfaction Problems for Reducts of Homogeneous Graphs |
Bodirsky, Manuel et al. |
2016 |
| 15 |
First-Order Queries on Finite Abelian Groups |
Bova, Simone et al. |
2015 |
| 16 |
The complexity of positive first-order logic without equality II: The four-element case |
Martin, Barnaby et al. |
2010 |
