The (Parallel) Approximability of Non-Boolean Satisfiability Problems and Restricted Integer Programming.

Maria J. Serna, Luca Trevisan, Fatos Xhafa

Browse the full STACS paper archive.