Ruiwen Chen, Rahul Santhanam. Satisfiability on Mixed Instances. Electronic Colloquium on Computational Complexity (ECCC), 22:192, 2015. [doi]
@article{ChenS15a-0, title = {Satisfiability on Mixed Instances}, author = {Ruiwen Chen and Rahul Santhanam}, year = {2015}, url = {http://eccc.hpi-web.de/report/2015/192}, researchr = {https://researchr.org/publication/ChenS15a-0}, cites = {0}, citedby = {0}, journal = {Electronic Colloquium on Computational Complexity (ECCC)}, volume = {22}, pages = {192}, }