×

zbMATH — the first resource for mathematics

Sörensson, Niklas

Compute Distance To:
Author ID: sorensson.niklas Recent zbMATH articles by "Sörensson, Niklas"
Published as: Sörensson, Niklas
Documents Indexed: 6 Publications since 2003

Publications by Year

all top 5

Cited by 541 Authors

17 Marques-Silva, João P.
9 Gebser, Martin
9 Schaub, Torsten H.
7 Kröning, Daniel
7 Sebastiani, Roberto
6 Järvisalo, Matti
6 Lynce, Inês
6 Maratea, Marco
5 Ansótegui, Carlos
5 Biere, Armin
5 Heule, Marijn J. H.
5 Hoos, Holger H.
5 Kaminski, Roland
5 Kaufmann, Benjamin
5 Liffiton, Mark H.
5 Nieuwenhuis, Robert
5 Semenov, Aleksandr Anatol’evich
4 Amjad, Hasan
4 Ignatyev, Alexey A.
4 Janota, Mikoláš
4 Junttila, Tommi A.
4 Leyton-Brown, Kevin
4 Saïs, Lakhdar
4 Sakallah, Karem A.
4 Semenov, Alexey A.
4 Woltran, Stefan
3 Balabanov, Valeriy
3 Banbara, Mutsunori
3 Cimatti, Alessandro
3 Codish, Michael
3 Giunchiglia, Enrico
3 Heljanko, Keijo
3 Hutter, Frank
3 Janhunen, Tomi
3 Jiang, Jie-Hong Roland
3 Kullmann, Oliver
3 Levy, Jordi
3 Lindauer, Marius
3 Lonsing, Florian
3 Mencía, Carlos
3 Oliveras, Albert
3 Otpushchennikov, Il’ya Vladimirovich
3 Philipp, Tobias
3 Previti, Alessandro
3 Rodríguez-Carbonell, Enric
3 Ryvchin, Vadim
3 Stuckey, Peter James
3 Tamura, Naoyuki
3 Wallner, Johannes Peter
3 Weissenbacher, Georg
3 Wille, Robert
2 Abío, Ignasi
2 Alliot, Jean-Marc
2 Asín, Roberto
2 Audemard, Gilles
2 Bailleux, Olivier
2 Balyo, Tomáš
2 Bayless, Sam
2 Bofill, Miquel
2 Bogaerts, Bart
2 Bozzano, Marco
2 Brayton, Robert K.
2 Brickenstein, Michael
2 Brown, Chad Edward
2 Bruttomesso, Roberto
2 Bruynooghe, Maurice
2 Cerutti, Federico
2 Claessen, Koen
2 de Givry, Simon
2 de Moura, Leonardo
2 Demolombe, Robert
2 Denecker, Marc
2 Diéguez, Martín
2 Donaldson, Alastair F.
2 Dreyer, Alexander
2 Dvořák, Wolfgang
2 Egly, Uwe
2 Fariñas del Cerro, Luis
2 Fernández, César C.
2 Fichte, Johannes Klaus
2 Finger, Marcelo
2 Gabàs, Joel
2 Gaggl, Sarah Alice
2 Giacomin, Massimiliano
2 Giráldez-Cru, Jesús
2 Graça, Ana
2 Haller, Leopold
2 Heras, Federico
2 Inoue, Katsumi
2 Itsykson, Dmitry M.
2 Ivrii, Alexander
2 Jabbour, Said
2 Jäger, Gerold
2 Karpiński, Michał
2 Khomenko, Victor
2 Kochemazov, Stepan
2 Korovin, Konstantin
2 Kronegger, Martin
2 Kupferschmid, Stefan
2 Li, Chu Min
...and 441 more Authors
all top 5

Cited in 50 Serials

30 Artificial Intelligence
20 Constraints
17 Journal of Automated Reasoning
9 Annals of Mathematics and Artificial Intelligence
6 Annals of Operations Research
6 Formal Methods in System Design
4 Theoretical Computer Science
4 International Journal of Approximate Reasoning
4 Theory and Practice of Logic Programming
4 Prikladnaya Diskretnaya Matematika
3 Science of Computer Programming
3 Computers & Operations Research
3 Formal Aspects of Computing
2 Discrete Applied Mathematics
2 Information Processing Letters
2 Information and Computation
2 ACM Transactions on Computational Logic
2 Journal of Discrete Algorithms
2 Mathematics in Computer Science
2 Logical Methods in Computer Science
2 Mathematical Programming Computation
1 Acta Informatica
1 Discrete Mathematics
1 Applied Mathematics and Computation
1 Journal of Computer and System Sciences
1 Journal of Pure and Applied Algebra
1 European Journal of Combinatorics
1 Journal of Symbolic Computation
1 Journal of Computer Science and Technology
1 Algorithmica
1 Discrete & Computational Geometry
1 Journal of Cryptology
1 Machine Learning
1 Discrete Event Dynamic Systems
1 Automation and Remote Control
1 Mathematical Programming. Series A. Series B
1 Journal of Mathematical Sciences (New York)
1 The Journal of Artificial Intelligence Research (JAIR)
1 Journal of Heuristics
1 Journal of Mathematical Chemistry
1 Theory of Computing Systems
1 Journal of Scheduling
1 International Journal of Applied Mathematics and Computer Science
1 Journal of Machine Learning Research (JMLR)
1 4OR
1 Journal of Applied Logic
1 Optimization Letters
1 Cryptography and Communications
1 Computer Science Review
1 Ural Mathematical Journal

Citations by Year