No. |
Title |
Author |
Year |
---|

1 |
Consistency for Counting Quantifiers |
Madelaine, Florent R. et al. |
2018 |

2 |
Disconnected Cuts in Claw-free Graphs |
Martin, Barnaby et al. |
2018 |

3 |
Surjective H-Colouring over Reflexive Digraphs |
Larose, Benoit et al. |
2018 |

4 |
The Complexity of Disjunctive Linear Diophantine Constraints |
Bodirsky, Manuel et al. |
2018 |

5 |
Quantified Constraints in Twenty Seventeen |
Martin, Barnaby |
2017 |

6 |
The Complexity of Quantified Constraints Using the Algebraic Formulation |
Carvalho, Catarina et al. |
2017 |

7 |
Constraint Satisfaction Problems for Reducts of Homogeneous Graphs |
Bodirsky, Manuel et al. |
2016 |

8 |
First-Order Queries on Finite Abelian Groups |
Bova, Simone et al. |
2015 |

9 |
The complexity of positive first-order logic without equality II: The four-element case |
Martin, Barnaby et al. |
2010 |