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

1 |
How Many Variables Are Needed to Express an Existential Positive Query? |
Bova, Simone et al. |
2017 |

2 |
Proof Complexity Modulo the Polynomial Hierarchy: Understanding Alternation as a Source of Hardness |
Chen, Hubie |
2016 |

3 |
Quantified Constraint Satisfaction on Monoids |
Chen, Hubie et al. |
2016 |

4 |
A Trichotomy in the Complexity of Counting Answers to Conjunctive Queries |
Chen, Hubie et al. |
2015 |

5 |
Parameter Compilation |
Chen, Hubie |
2015 |

6 |
On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive Formulas |
Valeriote, Matt et al. |
2010 |

7 |
Constraint Satisfaction with Succinctly Specified Relations |
Chen, Hubie et al. |
2006 |