1 paper · 2 filters
Christian Herrmann, Yasuyuki Tsukamoto, Martin Ziegler
The consistency problem for a class of algebraic structures asks for an algorithm to decide for any given conjunction of equations whether it admits a non-trivial satisfying assign…