The following pages link to Jacek Krzaczkowski (Q292835):
Displayed 10 items.
- Loosely-abelian algebras (Q292836) (← links)
- (Q2888155) (← links)
- TERM EQUATION SATISFIABILITY OVER FINITE ALGEBRAS (Q3067781) (← links)
- Expressive Power, Satisfiability and Equivalence of Circuits over Nilpotent Algebras. (Q5005117) (← links)
- Satisfiability in MultiValued Circuits (Q5080482) (← links)
- Even Faster Algorithms for CSAT Over supernilpotent Algebras. (Q5089225) (← links)
- Satisfiability in multi-valued circuits (Q5145331) (← links)
- Intermediate problems in modular circuits satisfiability (Q5145664) (← links)
- Circuit equivalence in 2-nilpotent algebras (Q6326062) (← links)
- Equation satisfiability in solvable groups (Q6351986) (← links)