# dberwanger

Type | Post | Author | Replies | Last post |
---|---|---|---|---|

Open problem | Vertex Cover Integrality Gap | dberwanger | 0 | 11 years 8 weeks ago |

Open problem | MSO alternation hierarchy over pictures | dberwanger | 0 | 11 years 28 weeks ago |

Open problem | Blatter-Specker Theorem for ternary relations | dberwanger | 0 | 11 years 28 weeks ago |

Open problem | Monadic second-order logic with cardinality predicates | dberwanger | 0 | 11 years 28 weeks ago |

Open problem | Order-invariant queries | dberwanger | 0 | 11 years 28 weeks ago |

Open problem | Fixed-point logic with counting | dberwanger | 0 | 11 years 28 weeks ago |