## Stem hmelevskii$ (all stems)

### 2 papers:

- DLT-2009-Saarela #complexity #equation #on the #satisfiability #theorem
- On the Complexity of Hmelevskii’s Theorem and Satisfiability of Three Unknown Equations (AS), pp. 443–453.
- DLT-2008-KarhumakiS #analysis #theorem
- An Analysis and a Reproof of Hmelevskii’s Theorem (JK, AS), pp. 467–478.