Travelled to:
1 × Finland
Collaborated with:
M.Banbara N.Tamura K.Inoue T.Schaub
Talks about:
program (2) constraint (1) prototyp (1) languag (1) system (1) scarab (1) answer (1) timet (1) rapid (1) model (1)
Person: Takehide Soh
DBLP: Soh:Takehide
Contributed to:
Wrote 2 papers:
- ICLP-J-2013-BanbaraSTIS #modelling #programming #set
- Answer set programming as a modeling language for course timetabling (MB, TS, NT, KI, TS), pp. 783–798.
- SAT-2013-SohTB #agile #constraints #named #programming #prototype #satisfiability
- Scarab: A Rapid Prototyping Tool for SAT-Based Constraint Programming Systems (TS, NT, MB), pp. 429–436.