Pengming Wang

Publication Activity (10 Years)

Years Active: 2013-2017
Publications (10 Years): 4

Top Topics

Finite Model Theory

Semidefinite Programming

Constraint Satisfaction Problems

Top Venues

J. Symb. Comput.

Publications

Anuj Dawar, Pengming Wang
Definability of semidefinite programming and lasserre lower bounds for CSPs. LICS (2017)
Samson Abramsky, Anuj Dawar, Pengming Wang
The pebbling comonad in finite model theory. CoRR (2017)
Samson Abramsky, Anuj Dawar, Pengming Wang
The pebbling comonad in Finite Model Theory. LICS (2017)
Anuj Dawar, Pengming Wang
Lasserre Lower Bounds and Definability of Semidefinite Programming. CoRR (2016)
Anuj Dawar, Pengming Wang
A Definability Dichotomy for Finite Valued CSPs. CSL (2015)
Anuj Dawar, Pengming Wang
A Definability Dichotomy for Finite Valued CSPs. CoRR (2015)
Kurt Mehlhorn, Michael Sagraloff, Pengming Wang
From approximate factorization to root isolation with application to cylindrical algebraic decomposition. J. Symb. Comput. 66 (2015)
Kurt Mehlhorn, Michael Sagraloff, Pengming Wang
From approximate factorization to root isolation. ISSAC (2013)
Kurt Mehlhorn, Michael Sagraloff, Pengming Wang
From Approximate Factorization to Root Isolation with Application to Cylindrical Algebraic Decomposition CoRR (2013)