×
Compute Distance To:
Author ID: banbara.mutsunori Recent zbMATH articles by "Banbara, Mutsunori"
Published as: Banbara, Mutsunori
Documents Indexed: 14 Publications since 1999
Co-Authors: 22 Co-Authors with 14 Joint Publications
232 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

11 Publications have been cited 67 times in 57 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
clingcon: the next generation. Zbl 1379.68040
Banbara, Mutsunori; Kaufmann, Benjamin; Ostrowski, Max; Schaub, Torsten
9
2017
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
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
Translating a linear logic programming language into Java. Zbl 0958.68035
Banbara, Mutsunori; Tamura, Naoyuki
1
1999
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
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
clingcon: the next generation. Zbl 1379.68040
Banbara, Mutsunori; Kaufmann, Benjamin; Ostrowski, Max; Schaub, Torsten
9
2017
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
all top 5

Cited by 162 Authors

6 Schaub, Torsten H.
3 Banbara, Mutsunori
3 Codish, Michael
3 Gebser, Martin
3 Janhunen, Tomi
3 Kaminski, Roland
3 Kaufmann, Benjamin
3 Wanko, Philipp
2 Akgün, Özgür
2 Arias, Joaquin
2 Bomanson, Jori
2 Carro, Manuel
2 Dodaro, Carmine
2 El-Kholany, Mohammed M. S.
2 Gent, Ian Philip
2 Giesl, Jürgen
2 Gupta, Gopal K.
2 Heule, Marijn J. H.
2 Iori, Manuel
2 Jefferson, Christopher
2 Maratea, Marco
2 Miguel, Ian
2 Nightingale, Peter W.
2 Ostrowski, Max
2 Schaerf, Andrea
2 Schekotihin, Konstantin
2 Schneider-Kamp, Peter
2 Stuckey, Peter James
2 Tamura, Naoyuki
2 Thiemann, René
2 Torres-Jimenez, Jose
1 Abreu, Salvador
1 Acevedo-Juárez, Brenda
1 Ahmadian, Mohammad Mahdi
1 Akkan, Can
1 Alviano, Mario
1 Amadini, Roberto
1 Amaral, Paula Alexandra
1 Amendola, Giovanni
1 Andresen, Michael
1 Aschermann, Cornelius
1 Avila-George, Himer
1 Banković, Milan
1 Bellio, Ruggero
1 Berei, Tobias
1 Bertolucci, Riccardo
1 Bettinelli, Andrea
1 Bierlee, Hendrik
1 Bofill, Miquel
1 Bogaerts, Bart
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 Capitanelli, Alessio
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 De Wulf, Wolf
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 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 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 Khatami, Mostafa
1 Kitagawa, Satoshi
1 Koshimura, Miyuki
1 Kotsireas, Ilias S.
1 Kuş, Zeki
1 Langevin, André
1 Law, Mark M.
...and 62 more Authors

Citations by Year