Concepedia

Toru Ogawa

TO

1

Publications

29

Citations

1

H-Index

2013

Active since

Affiliations

Kyushu University(Current)

Toru Ogawa is an author at Kyushu University specializing in satisfiability, computer engineering, and discrete mathematics.

Top concepts

Publications per year

2013–2013

1

Publications

1

Modulo Based CNF Encoding of Cardinality Constraints and Its Application to MaxSAT Solvers

Toru Ogawa, Yangyang Liu, Ryuzo Hasegawa et al. · 2013 · 29 citations

, , +15

Rows per page

1–1 of 1