Ruiwen Chen, Rahul Santhanam. Satisfiability on Mixed Instances. In Madhu Sudan, editor, Proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science, Cambridge, MA, USA, January 14-16, 2016. pages 393-402, ACM, 2016. [doi]
Abstract is missing.