Peter Jonsson Fredrik Kuivinen Johan Thapper Min CSP on Four Elements: Moving Beyond Submodularity http://arxiv.org/abs/1102.2880 2011 CoRR abs/1102.2880 db/journals/corr/corr1102.html#abs-1102-2880