[ACM Press the 2016 ACM Conference - Cambridge, Massachusetts, USA (2016.01.14-2016.01.17)] Proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science - ITCS '16 - Satisfiability on Mixed Instances
Chen, Ruiwen, Santhanam, RahulYear:
2016
Language:
english
DOI:
10.1145/2840728.2840768
File:
PDF, 853 KB
english, 2016