dberwanger

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