Vincent Liew

According to our database1, Vincent Liew authored at least 6 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.
CoRR, 2017

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

2015
Finding the Median (Obliviously) with Bounded Space.
CoRR, 2015

New Limits for Knowledge Compilation and Applications to Exact Model Counting.
CoRR, 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...