ALUnif - Algorithms and Lower Bounds: A Unified Approach

Santhanam, Rahul (Principal Investigator)

Status	Finished
Effective start/end date	1/03/14 → 28/02/19

Funding

EU government bodies: £944,071.00

4 Conference contribution
1 Article

Satisfiability on Mixed Instances
Chen, R. & Santhanam, R., 2016, Proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science. New York, NY, USA: ACM, p. 393-402 10 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
Improved Algorithms for Sparse MAX-SAT and MAX-k-CSP
Chen, R. & Santhanam, R., 27 Oct 2015, Theory and Applications of Satisfiability Testing -- SAT 2015. Heule, M. & Weaver, S. (eds.). Cham: Springer, p. 33-45 13 p. (Lecture Notes in Computer Science ; vol. 9340).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
Beating Exhaustive Search for Quantified Boolean Formulas and Connections to Circuit Complexity
Santhanam, R. & Williams, R. R., 4 Jan 2015, Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2015, San Diego, CA, USA, January 4-6, 2015. 978-1-61197-374-7, p. 231-241 11 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File