Merkliste 
 1 Ergebnisse 
 
1

The HOM Problem is EXPTIME-Complete:

Creus, Carles ; Gascón, Adrià ; Godoy, Guillem.
SIAM Journal on Computing.  45 (2016)  4 - p. 1230-1260 , 2016