Vincent Liew

According to our database1, Vincent Liew authored at least 3 papers between 2015 and 2017.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Towards Verifying Nonlinear Integer Arithmetic.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2015
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


  Loading...