Sign in
Paul Meng
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Relational Databases
Statistical Machine Translation
Top Venues
CoRR
</>
Publications
</>
Clark W. Barrett
,
Haniel Barbosa
,
Martin Brain
,
Duligur Ibeling
,
Tim King
,
Paul Meng
,
Aina Niemetz
,
Andres Nötzli
,
Mathias Preiner
,
Andrew Reynolds
,
Cesare Tinelli
CVC4 at the SMT Competition 2018.
CoRR
(2018)