Intermediate problems in modular circuits satisfiability

29 May 2020 Idziak Paweł M. Kawałek Piotr Krzaczkowski Jacek

In arXiv:1710.08163 a generalization of Boolean circuits to arbitrary finite algebras had been introduced and applied to sketch P versus NP-complete borderline for circuits satisfiability over algebras from congruence modular varieties. However the problem for nilpotent (which had not been shown to be NP-hard) but not supernilpotent algebras (which had been shown to be polynomial time) remained open... (read more)

PDF Abstract
No code implementations yet. Submit your code now