×
Compute Distance To:
Author ID: tamura.naoyuki Recent zbMATH articles by "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

Publications by Year

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.68076
Tamura, Naoyuki; Taga, Akiko; Kitagawa, Satoshi; Banbara, Mutsunori
25
2009
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
VSOP fuzzy numbers and their fuzzy ordering. Zbl 0923.04004
Horiuchi, Kiyomitsu; Tamura, Naoyuki
9
1998
Compiling finite linear CSP into SAT. Zbl 1160.68567
Tamura, Naoyuki; Taga, Akiko; Kitagawa, Satoshi; Banbara, Mutsunori
7
2006
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
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
Generating combinatorial test cases by efficient SAT encodings suitable for CDCL SAT solvers. Zbl 1306.68182
Banbara, Mutsunori; Matsunaka, Haruki; Tamura, Naoyuki; Inoue, Katsumi
3
2010
Efficient implementation of a linear logic programming language. Zbl 0949.68023
Hodas, 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.90049
Banbara, 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.68032
Banbara, Mutsunori; Kang, Kyoung-Sun; Hirai, Takaharu; Tamura, Naoyuki
1
2001
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
Translating a linear logic programming language into Java. Zbl 0958.68035
Banbara, Mutsunori; Tamura, Naoyuki
1
1999
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
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
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
Generating combinatorial test cases by efficient SAT encodings suitable for CDCL SAT solvers. Zbl 1306.68182
Banbara, Mutsunori; Matsunaka, Haruki; Tamura, Naoyuki; Inoue, Katsumi
3
2010
Compiling finite linear CSP into SAT. Zbl 1186.68076
Tamura, Naoyuki; Taga, Akiko; Kitagawa, Satoshi; Banbara, Mutsunori
25
2009
Compiling finite linear CSP into SAT. Zbl 1160.68567
Tamura, Naoyuki; Taga, Akiko; Kitagawa, Satoshi; Banbara, Mutsunori
7
2006
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
Logic programming in a fragment of intuitionistic temporal linear logic. Zbl 1053.68032
Banbara, Mutsunori; Kang, Kyoung-Sun; Hirai, Takaharu; Tamura, Naoyuki
1
2001
Translating a linear logic programming language into Java. Zbl 0958.68035
Banbara, Mutsunori; Tamura, Naoyuki
1
1999
VSOP fuzzy numbers and their fuzzy ordering. Zbl 0923.04004
Horiuchi, Kiyomitsu; Tamura, Naoyuki
9
1998
Efficient implementation of a linear logic programming language. Zbl 0949.68023
Hodas, Joshua S.; Watkins, Kevin M.; Tamura, Naoyuki; Kang, Kyoung-Sun
3
1998
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

Citations by Year