Concepedia

Byungki Cha

BC

Statistics

Publications

3

Citations

172

H-Index

3

Active since

1995

Affiliations

Kyushu University(Current)

Byungki Cha is an author at Kyushu University specializing in formal methods, approximation theory, and satisfiability.

Top concepts

Publications per year

1995–1997

3

Publications

3

Local search algorithms for partial MAXSAT

Byungki Cha, Kazuo Iwama, Yahiko Kambayashi et al. · 1997 · 67 citations

Adding New Clauses for Faster Local Search

Byungki Cha, Kazuo Iwama · 1996 · 54 citations

Performance test of local search algorithms using new types of random CNF formulas

Byungki Cha, Kazuo Iwama · International Joint Conference on Artificial Intelligence · 1995 · 51 citations

, , +20

1–3 of 3