Edit Profile (opens in new tab) Soh, Takehide Compute Distance To: Compute Author ID: 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 all top 5 Co-Authors 0 single-authored 8 Inoue, Katsumi 7 Banbara, Mutsunori 7 Tamura, Naoyuki 4 Schaub, Torsten H. 2 Okimoto, Tenda 1 Gebser, Martin 1 Kaneyuki, Hiromasa 1 Kaufmann, Benjamin 1 Le Berre, Daniel 1 Nabeshima, Hidetomo 1 Ostrowski, Max 1 Peano, Andrea 1 Ray, Oliver 1 Roussel, Stéphanie 1 Sasaura, Yoshito 1 Toda, Takahisa 1 Ueda, Seiji 1 Wanko, Philipp 1 Weise, Matthias Serials 1 Discrete Applied Mathematics 1 Annals of Operations Research 1 Fundamenta Informaticae 1 Theory and Practice of Logic Programming 1 ACM Journal of Experimental Algorithmics Fields 7 Computer science (68-XX) 2 Operations research, mathematical programming (90-XX) 2 Biology and other natural sciences (92-XX) 1 Combinatorics (05-XX) 1 Numerical analysis (65-XX) Publications by Year all cited Publications top 5 cited Publications 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.68040Banbara, 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.68374Soh, Takehide; Inoue, Katsumi; Tamura, Naoyuki; Banbara, Mutsunori; Nabeshima, Hidetomo 5 2010 Implementing efficient All solutions SAT solvers. Zbl 1365.68400Toda, Takahisa; Soh, Takehide 4 2016 Incremental SAT-based method with native Boolean cardinality handling for the Hamiltonian cycle problem. Zbl 1432.68420Soh, 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.92025Soh, Takehide; Inoue, Katsumi 3 2010 teaspoon: solving the curriculum-based course timetabling problems with answer set programming. Zbl 1434.90049Banbara, 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.68036Inoue, Katsumi; Soh, Takehide; Ueda, Seiji; Sasaura, Yoshito; Banbara, Mutsunori; Tamura, Naoyuki 1 2006 Analyzing pathways using ASP-based approaches. Zbl 1349.92056Ray, Oliver; Soh, Takehide; Inoue, Katsumi 1 2012 teaspoon: solving the curriculum-based course timetabling problems with answer set programming. Zbl 1434.90049Banbara, 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.68400Toda, Takahisa; Soh, Takehide 4 2016 Incremental SAT-based method with native Boolean cardinality handling for the Hamiltonian cycle problem. Zbl 1432.68420Soh, 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.68040Banbara, Mutsunori; Soh, Takehide; Tamura, Naoyuki; Inoue, Katsumi; Schaub, Torsten 10 2013 Analyzing pathways using ASP-based approaches. Zbl 1349.92056Ray, Oliver; Soh, Takehide; Inoue, Katsumi 1 2012 A SAT-based method for solving the two-dimensional strip packing problem. Zbl 1214.68374Soh, Takehide; Inoue, Katsumi; Tamura, Naoyuki; Banbara, Mutsunori; Nabeshima, Hidetomo 5 2010 Identifying necessary reactions in metabolic pathways by minimal model generation. Zbl 1211.92025Soh, Takehide; Inoue, Katsumi 3 2010 A competitive and cooperative approach to propositional satisfiability. Zbl 1142.68036Inoue, Katsumi; Soh, Takehide; Ueda, Seiji; Sasaura, Yoshito; Banbara, Mutsunori; Tamura, Naoyuki 1 2006 all cited Publications top 5 cited Publications 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 all top 5 Cited in 15 Serials 5 Theory and Practice of Logic Programming 3 Computers & Operations Research 3 Constraints 2 Artificial Intelligence 2 Top 1 Mathematical Biosciences 1 Kybernetika 1 Operations Research 1 Theoretical Computer Science 1 Journal of Automated Reasoning 1 Annals of Operations Research 1 Computational Geometry 1 European Journal of Operational Research 1 ACM Transactions on Modeling and Computer Simulation 1 Foundations of Computational Mathematics all top 5 Cited in 10 Fields 15 Computer science (68-XX) 10 Operations research, mathematical programming (90-XX) 3 Combinatorics (05-XX) 3 Biology and other natural sciences (92-XX) 2 Probability theory and stochastic processes (60-XX) 2 Statistics (62-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Nonassociative rings and algebras (17-XX) Citations by Year