wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

linear_datalog_conjecture (206B)

      1 # Linear datalog conjecture
      2 
      3 mentionde in [bodirsky2024symmetric]: is it true that every
      4 [finite_domain_CSP] which is in [NL] can be solved by a [linear_Datalog] program
      5 
      6 Up: [conjecture], [datalog_linear]