# Vincent Liew

According to our database

Collaborative distances:

^{1}, 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