Recursion and proof theoretical characterizations of small circuit classes with modulo counting via discrete differential equations (long version)

Documenti analoghi

• Characterizing Small Circuit Classes from FAC^0 to FAC^1 via Discrete Ordinary Differential Equations
  di: Antonelli, Melissa, et al.
  Pubblicazione: (2025)
• Towards New Characterizations of Small Circuit Classes via Discrete Ordinary Differential Equations
  di: Antonelli, Melissa, et al.
  Pubblicazione: (2025)
• Complexity classification of counting graph homomorphisms modulo a prime number
  di: Bulatov, Andrei A., et al.
  Pubblicazione: (2021)
• Modular composition & polynomial GCD in the border of small, shallow circuits
  di: Andrews, Robert, et al.
  Pubblicazione: (2025)
• Two NP-hard Extensions of the Spearman Footrule even for a Small Constant Number of Voters
  di: Durand, Martin
  Pubblicazione: (2026)