Satisfiability of Ordering CSPs above Average is Fixed-Parameter Tractable

Konstantin Makarychev, Yury Makarychev, Yuan Zhou. Satisfiability of Ordering CSPs above Average is Fixed-Parameter Tractable. In Venkatesan Guruswami, editor, IEEE 56th Annual Symposium on Foundations of Computer Science, FOCS 2015, Berkeley, CA, USA, 17-20 October, 2015. pages 975-993, IEEE, 2015. [doi]

Abstract

Abstract is missing.