Edit Profile (opens in new tab) Tamura, Naoyuki Compute Distance To: Compute Author ID: tamura.naoyuki Published as: Tamura, Naoyuki External Links: ORCID Documents Indexed: 19 Publications since 1988 Co-Authors: 29 Co-Authors with 18 Joint Publications 244 Co-Co-Authors all top 5 Co-Authors 0 single-authored 13 Banbara, Mutsunori 8 Inoue, Katsumi 7 Soh, Takehide 4 Schaub, Torsten H. 3 Kang, Kyoung-Sun 2 Hodas, Joshua S. 2 Kitagawa, Satoshi 2 Okimoto, Tenda 2 Taga, Akiko 1 Asakawa, Yasuo 1 Etoh, Hiroaki 1 Gebser, Martin 1 Goto, Daisuke 1 Hama, Toshiyuki 1 Hirai, Takaharu 1 Horiuchi, Kiyomitsu 1 Kaneyuki, Hiromasa 1 Kaufmann, Benjamin 1 Komatsu, Hideaki 1 Le Berre, Daniel 1 Matsunaka, Haruki 1 Minamikawa-Tachino, R. 1 Nabeshima, Hidetomo 1 Ostrowski, Max 1 Peano, Andrea 1 Roussel, Stéphanie 1 Sasaura, Yoshito 1 Ueda, Seiji 1 Wanko, Philipp 1 Watkins, Kevin M. 1 Weise, Matthias all top 5 Serials 1 Discrete Applied Mathematics 1 Fuzzy Sets and Systems 1 Annals of Operations Research 1 Constraints 1 Fundamenta Informaticae 1 Theory and Practice of Logic Programming 1 EURASIP Journal on Advances in Signal Processing Fields 17 Computer science (68-XX) 3 Operations research, mathematical programming (90-XX) 2 Mathematical logic and foundations (03-XX) 2 Combinatorics (05-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 12 Publications have been cited 70 times in 62 Documents Cited by ▼ Year ▼ Compiling finite linear CSP into SAT. Zbl 1186.68076Tamura, Naoyuki; Taga, Akiko; Kitagawa, Satoshi; Banbara, Mutsunori 25 2009 Answer set programming as a modeling language for course timetabling. Zbl 1286.68040Banbara, Mutsunori; Soh, Takehide; Tamura, Naoyuki; Inoue, Katsumi; Schaub, Torsten 10 2013 VSOP fuzzy numbers and their fuzzy ordering. Zbl 0923.04004Horiuchi, Kiyomitsu; Tamura, Naoyuki 9 1998 Compiling finite linear CSP into SAT. Zbl 1160.68567Tamura, Naoyuki; Taga, Akiko; Kitagawa, Satoshi; Banbara, Mutsunori 7 2006 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 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 Generating combinatorial test cases by efficient SAT encodings suitable for CDCL SAT solvers. Zbl 1306.68182Banbara, Mutsunori; Matsunaka, Haruki; Tamura, Naoyuki; Inoue, Katsumi 3 2010 Efficient implementation of a linear logic programming language. Zbl 0949.68023Hodas, Joshua S.; Watkins, Kevin M.; Tamura, Naoyuki; Kang, Kyoung-Sun 3 1998 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 Logic programming in a fragment of intuitionistic temporal linear logic. Zbl 1053.68032Banbara, Mutsunori; Kang, Kyoung-Sun; Hirai, Takaharu; Tamura, Naoyuki 1 2001 A competitive and cooperative approach to propositional satisfiability. Zbl 1142.68036Inoue, Katsumi; Soh, Takehide; Ueda, Seiji; Sasaura, Yoshito; Banbara, Mutsunori; Tamura, Naoyuki 1 2006 Translating a linear logic programming language into Java. Zbl 0958.68035Banbara, Mutsunori; Tamura, Naoyuki 1 1999 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 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 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 Generating combinatorial test cases by efficient SAT encodings suitable for CDCL SAT solvers. Zbl 1306.68182Banbara, Mutsunori; Matsunaka, Haruki; Tamura, Naoyuki; Inoue, Katsumi 3 2010 Compiling finite linear CSP into SAT. Zbl 1186.68076Tamura, Naoyuki; Taga, Akiko; Kitagawa, Satoshi; Banbara, Mutsunori 25 2009 Compiling finite linear CSP into SAT. Zbl 1160.68567Tamura, Naoyuki; Taga, Akiko; Kitagawa, Satoshi; Banbara, Mutsunori 7 2006 A competitive and cooperative approach to propositional satisfiability. Zbl 1142.68036Inoue, Katsumi; Soh, Takehide; Ueda, Seiji; Sasaura, Yoshito; Banbara, Mutsunori; Tamura, Naoyuki 1 2006 Logic programming in a fragment of intuitionistic temporal linear logic. Zbl 1053.68032Banbara, Mutsunori; Kang, Kyoung-Sun; Hirai, Takaharu; Tamura, Naoyuki 1 2001 Translating a linear logic programming language into Java. Zbl 0958.68035Banbara, Mutsunori; Tamura, Naoyuki 1 1999 VSOP fuzzy numbers and their fuzzy ordering. Zbl 0923.04004Horiuchi, Kiyomitsu; Tamura, Naoyuki 9 1998 Efficient implementation of a linear logic programming language. Zbl 0949.68023Hodas, Joshua S.; Watkins, Kevin M.; Tamura, Naoyuki; Kang, Kyoung-Sun 3 1998 all cited Publications top 5 cited Publications all top 5 Cited by 155 Authors 7 Ekel, Petr Ya. 5 Schaub, Torsten H. 4 Banbara, Mutsunori 4 Tamura, Naoyuki 3 Codish, Michael 3 Janhunen, Tomi 3 Palhares, Reinaldo M. 3 Wanko, Philipp 2 Akgün, Özgür 2 Berredo, Roberto C. 2 Bomanson, Jori 2 El-Kholany, Mohammed M. S. 2 Gebser, Martin 2 Gent, Ian Philip 2 Giesl, Jürgen 2 Heule, Marijn J. H. 2 Iori, Manuel 2 Jefferson, Christopher 2 Kaminski, Roland 2 Kaufmann, Benjamin 2 Miguel, Ian 2 Nightingale, Peter W. 2 Ostrowski, Max 2 Schaerf, Andrea 2 Schekotihin, Konstantin 2 Schneider-Kamp, Peter 2 Shi, Fu-Gui 2 Stuckey, Peter James 2 Thiemann, René 2 Torres-Jimenez, Jose 1 Abreu, Salvador 1 Acevedo-Juárez, Brenda 1 Ahmadian, Mohammad Mahdi 1 Akkan, Can 1 Amadini, Roberto 1 Amaral, Paula Alexandra 1 Andresen, Michael 1 Araujo, Whester J. 1 Aschermann, Cornelius 1 Avila-George, Himer 1 Banković, Milan 1 Bellio, Ruggero 1 Bettinelli, Andrea 1 Bierlee, Hendrik 1 Bofill, Miquel 1 Bräsel, Heidemarie 1 Bright, Curtis 1 Brock-Nannestad, Taus 1 Brockschmidt, Marc 1 Broda, Krysia B. 1 Cabon, Bertrand 1 Cacchiani, Valentina 1 Cambazard, Hadrien 1 Ceschia, Sara 1 Cheng, Tai-Chiu Edwin 1 Clarke, Dave 1 Côté, Jean-François 1 Czarnecki, Krzysztof 1 de Cat, Broes 1 de Lima, Vinícius Loti 1 Dekker, Jip J. 1 Dell’Amico, Mauro 1 Di Gaspero, Luca 1 Emmes, Fabian 1 Ferreira, Lígia 1 Francescutto, Giulia 1 Frisch, Alan M. 1 Frohn, Florian 1 Fuhs, Carsten 1 Gabbrielli, Maurizio 1 Galperin, Efim A. 1 Ganesh, Vijay 1 Gange, Graeme 1 Guéret, Christelle 1 Gülcü, Ayla 1 Hebrard, Emmanuel 1 Heinle, Albert 1 Hensel, Jera 1 Hoos, Holger H. 1 Huang, Hanliang 1 Huguet, Marie-José 1 Imaz, Gonzalo E. 1 Inoue, Katsumi 1 Ioannou, George 1 Izquierdo-Marquez, Idelfonso 1 Janssen, Jeroen 1 Jimbo, Masakazu 1 Jussien, Narendra 1 Kang, Kyoung-Sun 1 Khatami, Mostafa 1 Kitagawa, Satoshi 1 Koshimura, Miyuki 1 Kotsireas, Ilias S. 1 Kuş, Zeki 1 Langevin, André 1 Law, Mark M. 1 Lecoutre, Christophe 1 Lierler, Yuliya 1 Lindauer, Marius 1 Lu, Xiaonan ...and 55 more Authors all top 5 Cited in 26 Serials 8 Constraints 7 Theory and Practice of Logic Programming 4 Journal of Automated Reasoning 3 Computers & Operations Research 2 Artificial Intelligence 2 Computers & Mathematics with Applications 2 Information Sciences 2 Mathematical and Computer Modelling 2 European Journal of Operational Research 2 Top 1 Applied Mathematics and Computation 1 Fuzzy Sets and Systems 1 Journal of Statistical Planning and Inference 1 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 1 Operations Research 1 Opsearch 1 Theoretical Computer Science 1 Cybernetics and Systems 1 International Journal of Approximate Reasoning 1 Annals of Operations Research 1 Annals of Mathematics and Artificial Intelligence 1 INFORMS Journal on Computing 1 CEJOR. Central European Journal of Operations Research 1 ACM Transactions on Computational Logic 1 Nonlinear Analysis. Hybrid Systems 1 Discrete Mathematics, Algorithms and Applications all top 5 Cited in 8 Fields 35 Computer science (68-XX) 26 Operations research, mathematical programming (90-XX) 4 Mathematical logic and foundations (03-XX) 4 Combinatorics (05-XX) 3 Statistics (62-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 General topology (54-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year