According to our database1, Vincent Liew authored at least 3 papers between 2015 and 2017.
Legend:Book In proceedings Article PhD thesis Other
Towards Verifying Nonlinear Integer Arithmetic.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017
New Limits for Knowledge Compilation and Applications to Exact Model Counting.
Proceedings of the Thirty-First Conference on Uncertainty in Artificial Intelligence, 2015
Finding the Median (Obliviously) with Bounded Space.
Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015