The isomorphism problem for finite extensions of free groups is in PSPACE.

Géraud Sénizergues Armin Weiß

Published in: CoRR (2018)

Keyphrases

neural network
machine learning
temporal logic
default logic
finite number
database
real time
data sets
website