Statistics
Publications
1
Citations
145
H-Index
1
Active since
2008
Affiliations
Kobe University(Current)
Satoshi Kitagawa is an author at Kobe University specializing in boolean satisfiability problem, job shop scheduling, and scheduling problems.
Publications per year
2008–2008
1
1
Compiling finite linear CSP into SAT
Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa et al. · Constraints · 2008 · 145 citations · Full text
1–1 of 1