Vincent Liew

Follow

Generating author description...

All published works

Action	Title	Year	Authors
+	Towards Verifying Nonlinear Integer Arithmetic	2017	Paul Beame Vincent Liew
+ PDF Chat	Towards Verifying Nonlinear Integer Arithmetic	2017	Paul Beame Vincent Liew
+	Finding the Median (Obliviously) with Bounded Space	2015	Paul Beame Vincent Liew Mihai Pătraşcu
+ PDF Chat	Finding the Median (Obliviously) with Bounded Space	2015	Paul Beame Vincent Liew Mihai Pătraşcu
+	New Limits for Knowledge Compilation and Applications to Exact Model Counting	2015	Paul Beame Vincent Liew

Common Coauthors

Coauthor	Papers Together
Paul Beame	5
Mihai Pătraşcu	2

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+ PDF Chat	Towards Understanding and Harnessing the Potential of Clause Learning	2004	Paul Beame Henry Kautz Ashish Sabharwal	2
+ PDF Chat	An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning	2012	Marı́a Luisa Bonet Sam Buss	2
+ PDF Chat	Small Stone in Pool	2014	Samuel R. Buss Leszek Aleksander Kołodziejczyk	1
+ PDF Chat	The Language of Search	2007	Jinbo Huang Adnan Darwiche	1
+ PDF Chat	Parallel repetition: simplifications and the no-signaling case	2009	Thomas Holenstein	1
+ PDF Chat	Towards Verifying Nonlinear Integer Arithmetic	2017	Paul Beame Vincent Liew	1
+	On the read-once property of branching programs and CNFs of bounded treewidth	2014	Igor Razgon	1
+	Element Distinctness, Frequency Moments, and Sliding Windows	2013	Paul Beame Raphaël Clifford Widad Machmouchi	1
+	Lower Bounds for Exact Model Counting and Applications in Probabilistic Databases	2013	Paul Beame Jerry Li Sudeepa Roy Dan Suciu	1
+	On OBDDs for CNFs of bounded treewidth	2013	Igor Razgon	1
+ PDF Chat	Element Distinctness, Frequency Moments, and Sliding Windows	2013	Paul Beame Raphaël Clifford Widad Machmouchi	1