dberwanger

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