Hung-En Wang

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 4

Top Topics

Boolean Satisfiability

Integer Linear Programming

Top Venues

IEEE Trans. Computers

Publications

Kuan-Hua Tu, Hung-En Wang, Jie-Hong R. Jiang, Natalia Kushik, Nina Yevtushenko
Homing Sequence Derivation With Quantified Boolean Satisfiability. IEEE Trans. Computers 71 (3) (2022)
Hung-En Wang, Shih-Yu Chen, Fang Yu, Jie-Hong R. Jiang
A symbolic model checking approach to the analysis of string and length constraints. ASE (2018)
Hung-En Wang, Kuan-Hua Tu, Jie-Hong R. Jiang, Natalia Kushik
Homing Sequence Derivation with Quantified Boolean Satisfiability. ICTSS (2017)
Hung-En Wang, Tzung-Lin Tsai, Chun-Han Lin, Fang Yu, Jie-Hong R. Jiang
String Analysis via Automata Manipulation with Logic Circuit Representation. CAV (1) (2016)