Vincent Liew

According to our database1, Vincent Liew authored at least 7 papers between 2015 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Demo Abstract: Online Training and Inference for On-Device Monocular Depth Estimation.
Proceedings of the Ninth IEEE/ACM International Conference on Internet-of-Things Design and Implementation, 2024

2020
A Path Paved by Proof Complexity Towards Verifying Nonlinear Integer Arithmetic.
PhD thesis, 2020

Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning.
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2019
Toward Verifying Nonlinear Integer Arithmetic.
J. ACM, 2019

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...