Circuit Satisfiability and Constraint Satisfaction Around Skolem Arithmetic.

Christian Glaer, Peter Jonsson, Barnaby Martin

Browse the full CiE paper archive.