×
Compute Distance To:
Author ID: soh.takehide Recent zbMATH articles by "Soh, Takehide"
Published as: Soh, Takehide
Documents Indexed: 10 Publications since 2006
Co-Authors: 19 Co-Authors with 10 Joint Publications
244 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

8 Publications have been cited 29 times in 29 Documents Cited by Year
Answer set programming as a modeling language for course timetabling. Zbl 1286.68040
Banbara, Mutsunori; Soh, Takehide; Tamura, Naoyuki; Inoue, Katsumi; Schaub, Torsten
10
2013
A SAT-based method for solving the two-dimensional strip packing problem. Zbl 1214.68374
Soh, Takehide; Inoue, Katsumi; Tamura, Naoyuki; Banbara, Mutsunori; Nabeshima, Hidetomo
5
2010
Implementing efficient All solutions SAT solvers. Zbl 1365.68400
Toda, Takahisa; Soh, Takehide
4
2016
Incremental SAT-based method with native Boolean cardinality handling for the Hamiltonian cycle problem. Zbl 1432.68420
Soh, Takehide; Le Berre, Daniel; Roussel, Stéphanie; Banbara, Mutsunori; Tamura, Naoyuki
3
2014
Identifying necessary reactions in metabolic pathways by minimal model generation. Zbl 1211.92025
Soh, Takehide; Inoue, Katsumi
3
2010
teaspoon: solving the curriculum-based course timetabling problems with answer set programming. Zbl 1434.90049
Banbara, Mutsunori; Inoue, Katsumi; Kaufmann, Benjamin; Okimoto, Tenda; Schaub, Torsten; Soh, Takehide; Tamura, Naoyuki; Wanko, Philipp
2
2019
A competitive and cooperative approach to propositional satisfiability. Zbl 1142.68036
Inoue, Katsumi; Soh, Takehide; Ueda, Seiji; Sasaura, Yoshito; Banbara, Mutsunori; Tamura, Naoyuki
1
2006
Analyzing pathways using ASP-based approaches. Zbl 1349.92056
Ray, Oliver; Soh, Takehide; Inoue, Katsumi
1
2012
teaspoon: solving the curriculum-based course timetabling problems with answer set programming. Zbl 1434.90049
Banbara, Mutsunori; Inoue, Katsumi; Kaufmann, Benjamin; Okimoto, Tenda; Schaub, Torsten; Soh, Takehide; Tamura, Naoyuki; Wanko, Philipp
2
2019
Implementing efficient All solutions SAT solvers. Zbl 1365.68400
Toda, Takahisa; Soh, Takehide
4
2016
Incremental SAT-based method with native Boolean cardinality handling for the Hamiltonian cycle problem. Zbl 1432.68420
Soh, Takehide; Le Berre, Daniel; Roussel, Stéphanie; Banbara, Mutsunori; Tamura, Naoyuki
3
2014
Answer set programming as a modeling language for course timetabling. Zbl 1286.68040
Banbara, Mutsunori; Soh, Takehide; Tamura, Naoyuki; Inoue, Katsumi; Schaub, Torsten
10
2013
Analyzing pathways using ASP-based approaches. Zbl 1349.92056
Ray, Oliver; Soh, Takehide; Inoue, Katsumi
1
2012
A SAT-based method for solving the two-dimensional strip packing problem. Zbl 1214.68374
Soh, Takehide; Inoue, Katsumi; Tamura, Naoyuki; Banbara, Mutsunori; Nabeshima, Hidetomo
5
2010
Identifying necessary reactions in metabolic pathways by minimal model generation. Zbl 1211.92025
Soh, Takehide; Inoue, Katsumi
3
2010
A competitive and cooperative approach to propositional satisfiability. Zbl 1142.68036
Inoue, Katsumi; Soh, Takehide; Ueda, Seiji; Sasaura, Yoshito; Banbara, Mutsunori; Tamura, Naoyuki
1
2006
all top 5

Cited by 83 Authors

5 Schaub, Torsten H.
3 Banbara, Mutsunori
3 Gebser, Martin
3 Janhunen, Tomi
3 Wanko, Philipp
2 Boege, Tobias
2 Bomanson, Jori
2 El-Kholany, Mohammed M. S.
2 Iori, Manuel
2 Kahle, Thomas
2 Kaufmann, Benjamin
2 Marić, Filip
2 Ostrowski, Max
2 Schaerf, Andrea
2 Schekotihin, Konstantin
2 Tamura, Naoyuki
1 Akkan, Can
1 Amaral, Paula Alexandra
1 Banković, Milan
1 Bellio, Ruggero
1 Bettinelli, Andrea
1 Bockmayr, Alexander
1 Bright, Curtis
1 Broda, Krysia B.
1 Cacchiani, Valentina
1 Ceschia, Sara
1 Côté, Jean-François
1 Czarnecki, Krzysztof
1 D’Alì, Alessio
1 de Lima, Vinícius Loti
1 Dell’Amico, Mauro
1 Di Gaspero, Luca
1 Dovier, Agostino
1 Eduati, Federica
1 Fichte, Johannes Klaus
1 Fioretto, Ferdinando
1 Francescutto, Giulia
1 Ganesh, Vijay
1 Goldstein, Yaron
1 Gülcü, Ayla
1 Guziolowski, Carito
1 Hecher, Markus
1 Heinle, Albert
1 Heule, Marijn J. H.
1 Inoue, Katsumi
1 Janota, Mikoláš
1 Kaminski, Roland
1 Kitagawa, Satoshi
1 Koshimura, Miyuki
1 Kotsireas, Ilias S.
1 Kuş, Zeki
1 Law, Mark M.
1 Marques-Silva, João P.
1 Martello, Silvano
1 Mencía, Carlos
1 Miyazawa, Flavio Keidi
1 Monaci, Michele
1 Morak, Michael
1 Nicolas, Jacques
1 Okimoto, Tenda
1 Pais, Tiago Cardal
1 Pontelli, Enrico
1 Reimers, Arne C.
1 Roberti, Roberto
1 Romero, Javier
1 Russo, Alessandra M.
1 Saez-Rodriguez, Julio
1 Sakurai, Yuko
1 Schellhorn, Sebastian
1 Siegel, Anne
1 Soh, Takehide
1 Stojadinović, Mirko
1 Sturmfels, Bernd
1 Taga, Akiko
1 Thiele, Sven
1 Thier, Patrick
1 Toth, Paolo
1 Urli, Tommaso
1 Videla, Santiago
1 Watanabe, Emi
1 Woltran, Stefan
1 Yokoo, Makoto
1 Zulkoski, Edward

Citations by Year