×
Edit Profile (opens in new tab)

Kitagawa, Satoshi

Co-Author Distance
Author ID: kitagawa.satoshi Recent zbMATH articles by "Kitagawa, Satoshi"
Published as: Kitagawa, Satoshi
Documents Indexed: 3 Publications since 2006
Co-Authors: 6 Co-Authors with 3 Joint Publications
93 Co-Co-Authors
all top 5

Co-Authors

0 single-authored
2 Banbara, Mutsunori
2 Taga, Akiko
2 Tamura, Naoyuki
1 Kobayashi, Tsutomu
1 Maeda, Satoshi
1 Shiromizu, Tetsuya

Serials

1 Classical and Quantum Gravity
1 Constraints

Fields

2 Computer science (68-XX)
1 Relativity and gravitational theory (83-XX)
1 Operations research, mathematical programming (90-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

3 Publications have been cited 42 times in 38 Documents Cited by ▼ Year ▼
Compiling finite linear CSP into SAT. Zbl 1186.68076
Tamura, Naoyuki; Taga, Akiko; Kitagawa, Satoshi; Banbara, Mutsunori
33
2009
Compiling finite linear CSP into SAT. Zbl 1160.68567
Tamura, Naoyuki; Taga, Akiko; Kitagawa, Satoshi; Banbara, Mutsunori
8
2006
Primordial magnetic fields from second-order cosmological perturbations: tight coupling approximation. Zbl 1171.83381
Maeda, Satoshi; Kitagawa, Satoshi; Kobayashi, Tsutomu; Shiromizu, Tetsuya
1
2009
Compiling finite linear CSP into SAT. Zbl 1186.68076
Tamura, Naoyuki; Taga, Akiko; Kitagawa, Satoshi; Banbara, Mutsunori
33
2009
Primordial magnetic fields from second-order cosmological perturbations: tight coupling approximation. Zbl 1171.83381
Maeda, Satoshi; Kitagawa, Satoshi; Kobayashi, Tsutomu; Shiromizu, Tetsuya
1
2009
Compiling finite linear CSP into SAT. Zbl 1160.68567
Tamura, Naoyuki; Taga, Akiko; Kitagawa, Satoshi; Banbara, Mutsunori
8
2006
all cited Publications top 5 cited Publications
all top 5

Cited by 114 Authors

4 Codish, Michael
4 Schaub, Torsten H.
3 Banbara, Mutsunori
3 Gebser, Martin
3 Nightingale, Peter W.
3 Stuckey, Peter James
2 Akgün, Özgür
2 Gent, Ian Philip
2 Giesl, Jürgen
2 Heule, Marijn J. H.
2 Jefferson, Christopher
2 Miguel, Ian
2 Ohrimenko, Olga
2 Ostrowski, Max
2 Schneider-Kamp, Peter
2 Tamura, Naoyuki
2 Thiemann, René
1 Aaronson, Scott
1 Abseher, Michael
1 Ahmadian, Mohammad Mahdi
1 Alviano, Mario
1 Amadini, Roberto
1 Andresen, Michael
1 Aschermann, Cornelius
1 Banković, Milan
1 Bierlee, Hendrik
1 Bofill, Miquel
1 Bräsel, Heidemarie
1 Brock-Nannestad, Taus
1 Brockschmidt, Marc
1 Cabon, Bertrand
1 Cambazard, Hadrien
1 Carrilho, Pedro
1 Cheng, Tai-Chiu Edwin
1 Coll, Jordi
1 de Cat, Broes
1 Dekker, Jip J.
1 Emmes, Fabian
1 Frisch, Alan M.
1 Frohn, Florian
1 Fuhs, Carsten
1 Gabbrielli, Maurizio
1 Gange, Graeme
1 Ghiduk, Ahmed S.
1 Giordano, Laura
1 Guéret, Christelle
1 Hebrard, Emmanuel
1 Hensel, Jera
1 Hoos, Holger H.
1 Huguet, Marie-José
1 Imaz, Gonzalo E.
1 Inoue, Katsumi
1 Ioannou, George
1 Janhunen, Tomi
1 Janssen, Jeroen
1 Jimbo, Masakazu
1 Jussien, Narendra
1 Kaminski, Roland
1 Kaufmann, Benjamin
1 Khatami, Mostafa
1 Kitagawa, Satoshi
1 Langevin, André
1 Lecoutre, Christophe
1 Li, Chumin
1 Lierler, Yuliya
1 Lindauer, Marius
1 Lu, Xiaonan
1 Malapert, Arnaud
1 Malik, Karim A.
1 Manyà, Felip
1 Marić, Filip
1 Mauro, Jacopo
1 Metodi, Amit
1 Mishima, Miwako
1 Miyamoto, Nobuko
1 Mörig, Marc
1 Musliu, Nysret
1 Otto, Carsten
1 Ozolins, Ansis
1 Palahí, Miquel
1 Peano, Andrea
1 Plücker, Martin
1 Rintanen, Jussi
1 Rousseau, Louis-Martin
1 Roussel, Olivier
1 Salehipour, Amir
1 Sauvan, Ludivine Boche
1 Schockaert, Steven
1 Soh, Takehide
1 Spracklen, Patrick
1 Stojadinović, Mirko
1 Ströder, Thomas
1 Surynek, Pavel
1 Suy, Josep
1 Swiderski, Stephanie
1 Szeider, Stefan
1 Tack, Guido
1 Taga, Akiko
1 Tarantilis, Christos D.
1 Theseider Dupré, Daniele
...and 14 more Authors
all top 5

Cited in 15 Serials

8 Constraints
4 Journal of Automated Reasoning
3 Theory and Practice of Logic Programming
2 Artificial Intelligence
2 International Journal of Approximate Reasoning
1 Information Processing Letters
1 Journal of Statistical Planning and Inference
1 Cybernetics and Systems
1 Mathematical and Computer Modelling
1 European Journal of Operational 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 Journal of Cosmology and Astroparticle Physics
all top 5

Cited in 7 Fields

29 Computer science (68-XX)
11 Operations research, mathematical programming (90-XX)
3 Mathematical logic and foundations (03-XX)
2 Combinatorics (05-XX)
1 Statistics (62-XX)
1 Relativity and gravitational theory (83-XX)
1 Astronomy and astrophysics (85-XX)

Citations by Year