Sign in
HyoJung Han
Publication Activity (10 Years)
Years Active: 2005-2023
Publications (10 Years): 3
Top Topics
Background Knowledge
Question Answering
Ontology Learning
Hand Crafted
Top Venues
EMNLP
CoRR
</>
Publications
</>
HyoJung Han
,
Jordan L. Boyd-Graber
,
Marine Carpuat
Bridging Background Knowledge Gaps in Translation with Automatic Explicitation.
EMNLP
(2023)
HyoJung Han
,
Jordan Lee Boyd-Graber
,
Marine Carpuat
Bridging Background Knowledge Gaps in Translation with Automatic Explicitation.
CoRR
(2023)
HyoJung Han
,
Marine Carpuat
,
Jordan L. Boyd-Graber
SimQA: Detecting Simultaneous MT Errors through Word-by-Word Question Answering.
EMNLP
(2022)
HyoJung Han
,
HoonSang Jin
,
Fabio Somenzi
Clause simplification through dominator analysis.
DATE
(2011)
HyoJung Han
,
Fabio Somenzi
,
HoonSang Jin
Making Deduction More Effective in SAT Solvers.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
29 (8) (2010)
HyoJung Han
,
Fabio Somenzi
On-the-Fly Clause Improvement.
SAT
(2009)
HyoJung Han
,
Fabio Somenzi
Alembic: An Efficient Algorithm for CNF Preprocessing.
DAC
(2007)
HoonSang Jin
,
HyoJung Han
,
Fabio Somenzi
Efficient Conflict Analysis for Finding All Satisfying Assignments of a Boolean Circuit.
TACAS
(2005)