The Complexity of Satisfiability Problems over Finite Lattices.

Bernhard Schwarz

Browse the full STACS paper archive.