2 Einträge gefunden

1. A proof of the algebraic tractability conjecture for monotone monadic SNP

   1. Bodirsky, Manuel
   2. Madelaine, Florent
   3. Mottet, Antoine

   2021 - TUHH Open Research
2. A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP

   1. Bodirsky, Manuel
   2. Madelaine, Florent
   3. Mottet, Antoine

   2018 - TUHH Open Research