Vincent Liew

According to our database, Vincent Liew authored at least 6 papers between 2015 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

A Path Paved by Proof Complexity Towards Verifying Nonlinear Integer Arithmetic.

Vincent Liew

PhD thesis, 2020

Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning.

Vincent Liew, Paul Beame, Jo Devriendt, Jan Elffers, Jakob Nordström

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2019

Toward Verifying Nonlinear Integer Arithmetic.

Paul Beame, Vincent Liew

J. ACM, 2019

2017

Towards Verifying Nonlinear Integer Arithmetic.

Paul Beame, Vincent Liew

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2015

New Limits for Knowledge Compilation and Applications to Exact Model Counting.

Paul Beame, Vincent Liew

Proceedings of the Thirty-First Conference on Uncertainty in Artificial Intelligence, 2015

Finding the Median (Obliviously) with Bounded Space.

Paul Beame, Vincent Liew, Mihai Patrascu

Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015