Equation satisfiability in solvable groups.

Pawel M. Idziak Piotr Kawalek Jacek Krzaczkowski Armin Weiß

Published in: CoRR (2020)

Keyphrases

np complete
computational complexity
satisfiability problem
special case
real time
np hard
database
data mining
learning algorithm
numerical solution
similar objects
computational properties
decision procedures