bodirsky2024symmetric (292B)
1 # bodirsky2024symmetric 2 3 - [datalog_symmetric_linear] 4 - [datalog_linear] 5 - [datalog_monadic] 6 - [datalog_arc_monadic] 7 - [datalog_symmetric_linear_arc_monadic] 8 - [linear_datalog_conjecture] 9 10 Up: [academic_paper] on [constraint_satisfaction_problem_datalog] 11 12 See also: [kazda2019npermutability]