# Vincent Liew

According to our database

Collaborative distances:

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