Travelled to:2 × USA
Collaborated with:I.Park
Talks about:digit (2) base (2) represent (1) synthesi (1) unbound (1) symbol (1) filter (1) model (1) minim (1) check (1)
Person: Hyeong-Ju Kang
DBLP: Kang:Hyeong=Ju
Contributed to:
20032001Wrote 2 papers:
- DAC-2003-KangP #bound #model checking #satisfiability
- SAT-based unbounded symbolic model checking (HJK, ICP), pp. 840–843.
- DAC-2001-ParkK #representation #synthesis
- Digital Filter Synthesis Based on Minimal Signed Digit Representation (ICP, HJK), pp. 468–473.