No. Title Author Year
1 Colouring H-Free Graphs of Bounded Diameter Martin, Barnaby et al. 2019
2 Resolution and the Binary Encoding of Combinatorial Principles Dantchev, Stefan et al. 2019
3 Consistency for Counting Quantifiers Madelaine, Florent R. et al. 2018
4 Disconnected Cuts in Claw-free Graphs Martin, Barnaby et al. 2018
5 Surjective H-Colouring over Reflexive Digraphs Larose, Benoit et al. 2018
6 The Complexity of Disjunctive Linear Diophantine Constraints Bodirsky, Manuel et al. 2018
7 Quantified Constraints in Twenty Seventeen Martin, Barnaby 2017
8 The Complexity of Quantified Constraints Using the Algebraic Formulation Carvalho, Catarina et al. 2017
9 Constraint Satisfaction Problems for Reducts of Homogeneous Graphs Bodirsky, Manuel et al. 2016
10 First-Order Queries on Finite Abelian Groups Bova, Simone et al. 2015
Current Page :
Number of result pages: 2
Number of documents: 11


DROPS-Home | Imprint | Privacy Published by LZI