Searching for authors named "HoonSang Jin" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis
by HoonSang Jin, Andreas Kuehlmann, Fabio Somenzi — 2002 — IN INTERNATIONAL CONFERENCE ON TOOLS AND ALGORITHMS FOR CONSTRUCTION AND ANALYSIS OF SYSTEMS (TACAS’02
…Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis HoonSang Jin 1⋆ , Andreas…
Cited by 10 (2 self) – Add To MetaCart

Refining the SAT Decision Ordering for Bounded Model Checking
by Chao Wang, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi — 2004
…Abstract Refining the SAT Decision Ordering for Bounded Model Checking ∗ Chao Wang HoonSang Jin…
Cited by 5 (1 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB