Takehide Soh

$${\varvec{teaspoon}}$$: solving the curriculum-based course timetabling problems with answer set programming

Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann et al. · Annals of Operations Research · 2018 · 35 citations

Education, Computer Science, Curriculum +7

A SAT-based Method for Solving the Two-dimensional Strip Packing Problem

Takehide Soh, Katsumi Inoue, Naoyuki Tamura et al. · Fundamenta Informaticae · 2010 · 29 citations

Computing, Computer Science, Algorithms +6

Answer set programming as a modeling language for course timetabling

Mutsunori Banbara, Takehide Soh, Naoyuki Tamura et al. · Theory and Practice of Logic Programming · 2013 · 24 citations · Full text

Computing, Computer Science, Curriculum +14

A competitive and cooperative approach to propositional satisfiability

Katsumi Inoue, Takehide Soh, Seiji Ueda et al. · Discrete Applied Mathematics · 2006 · 22 citations

Computing, Computer Science, Algorithms +10

The Effects of Sex Steroid Hormones on the Pigment Accumulation in the Shell Gland of Japanese Quail

Takehide Soh, Osamu Koga · Poultry Science · 1994 · 22 citations · Full text

Agriculture, Animal Sciences, Poultry Science +16