| 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 |
| Number of result pages: | 1 |
| Number of documents: | 5 |
