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

1 |
09441 Abstracts Collection -- The Constraint Satisfaction Problem: Complexity and Approximability |
Bulatov, Andrei A. et al. |
2010 |

2 |
09441 Executive Summary -- The Constraint Satisfaction Problem: Complexity and Approximability |
Bulatov, Andrei A. et al. |
2010 |

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

4 |
PP-DEFINABILITY IS CO-NEXPTIME-COMPLETE |
Willard, Ross |
2010 |

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