dberwanger

TypePostAuthorRepliesLast post
Open problemVertex Cover Integrality Gap dberwanger07 years 9 weeks ago
Open problemMSO alternation hierarchy over pictures dberwanger07 years 28 weeks ago
Open problemBlatter-Specker Theorem for ternary relations dberwanger07 years 28 weeks ago
Open problemMonadic second-order logic with cardinality predicates dberwanger07 years 28 weeks ago
Open problemOrder-invariant queries dberwanger07 years 28 weeks ago
Open problemFixed-point logic with counting dberwanger07 years 28 weeks ago