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

1 | Proof Complexity Meets Algebra | Atserias, Albert et al. | 2017 |

2 | Non-Homogenizable Classes of Finite Structures | Atserias, Albert et al. | 2016 |

3 | Bounded-width QBF is PSPACE-complete | Atserias, Albert et al. | 2013 |

Number of result pages: | 1 |

Number of documents: | 3 |