×

zbMATH — the first resource for mathematics

Eén, Niklas

Compute Distance To:
Author ID: een.niklas Recent zbMATH articles by "Eén, Niklas"
Published as: Een, Niklas; Eén, Niklas
Documents Indexed: 7 Publications since 2000

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 369 times in 302 Documents Cited by Year
An extensible SAT-solver. Zbl 1204.68191
Eén, Niklas; Sörensson, Niklas
192
2004
Effective preprocessing in SAT through variable and clause elimination. Zbl 1128.68463
Eén, Niklas; Biere, Armin
72
2005
Translating pseudo-Boolean constraints into SAT. Zbl 1116.68083
Eén, Niklas; Sörensson, Niklas
57
2006
Temporal induction by incremental SAT solving. Zbl 1271.68215
Eén, Niklas; Sörensson, Niklas
29
2003
Symbolic reachability analysis based on SAT-solvers. Zbl 0971.68633
Abdulla, Parosh Aziz; Bjesse, Per; Eén, Niklas
11
2000
Applying logic synthesis for speeding up SAT. Zbl 1214.68351
Een, Niklas; Mishchenko, Alan; Sörensson, Niklas
6
2007
SAT-solving in practice, with a tutorial example from supervisory control. Zbl 1180.93065
Claessen, Koen; Een, Niklas; Sheeran, Mary; Sörensson, Niklas; Voronov, Alexey; Åkesson, Knut
2
2009
SAT-solving in practice, with a tutorial example from supervisory control. Zbl 1180.93065
Claessen, Koen; Een, Niklas; Sheeran, Mary; Sörensson, Niklas; Voronov, Alexey; Åkesson, Knut
2
2009
Applying logic synthesis for speeding up SAT. Zbl 1214.68351
Een, Niklas; Mishchenko, Alan; Sörensson, Niklas
6
2007
Translating pseudo-Boolean constraints into SAT. Zbl 1116.68083
Eén, Niklas; Sörensson, Niklas
57
2006
Effective preprocessing in SAT through variable and clause elimination. Zbl 1128.68463
Eén, Niklas; Biere, Armin
72
2005
An extensible SAT-solver. Zbl 1204.68191
Eén, Niklas; Sörensson, Niklas
192
2004
Temporal induction by incremental SAT solving. Zbl 1271.68215
Eén, Niklas; Sörensson, Niklas
29
2003
Symbolic reachability analysis based on SAT-solvers. Zbl 0971.68633
Abdulla, Parosh Aziz; Bjesse, Per; Eén, Niklas
11
2000
all top 5

Cited by 620 Authors

17 Marques-Silva, João P.
10 Biere, Armin
9 Gebser, Martin
9 Schaub, Torsten H.
8 Heule, Marijn J. H.
8 Järvisalo, Matti
7 Kröning, Daniel
7 Sebastiani, Roberto
6 Hoos, Holger H.
6 Lynce, Inês
6 Maratea, Marco
5 Ansótegui, Carlos
5 Kaminski, Roland
5 Kaufmann, Benjamin
5 Leyton-Brown, Kevin
5 Liffiton, Mark H.
5 Nieuwenhuis, Robert
5 Saïs, Lakhdar
5 Semenov, Aleksandr Anatol’evich
4 Amjad, Hasan
4 Cimatti, Alessandro
4 Giunchiglia, Enrico
4 Ignatyev, Alexey A.
4 Janota, Mikoláš
4 Junttila, Tommi A.
4 Kullmann, Oliver
4 Lierler, Yuliya
4 Lonsing, Florian
4 Philipp, Tobias
4 Ryvchin, Vadim
4 Sakallah, Karem A.
4 Semenov, Alexey A.
4 Woltran, Stefan
3 Balabanov, Valeriy
3 Banbara, Mutsunori
3 Codish, Michael
3 Fichte, Johannes Klaus
3 Heljanko, Keijo
3 Hutter, Frank
3 Inoue, Katsumi
3 Jabbour, Said
3 Janhunen, Tomi
3 Jiang, Jie-Hong Roland
3 Lagniez, Jean-Marie
3 Levy, Jordi
3 Lindauer, Marius
3 Marquis, Pierre
3 Mencía, Carlos
3 Oliveras, Albert
3 Otpushchennikov, Il’ya Vladimirovich
3 Previti, Alessandro
3 Rodríguez-Carbonell, Enric
3 Scholl, Christoph
3 Sinz, Carsten
3 Stuckey, Peter James
3 Tamura, Naoyuki
3 Waldmann, Johannes
3 Wallner, Johannes Peter
3 Weissenbacher, Georg
3 Wille, Robert
2 Abío, Ignasi
2 Alliot, Jean-Marc
2 Alviano, Mario
2 Asín, Roberto
2 Audemard, Gilles
2 Bailleux, Olivier
2 Balyo, Tomáš
2 Bayless, Sam
2 Becker, Bernd
2 Berg, Jeremias
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 Cat, Broes
2 de Givry, Simon
2 de Moura, Leonardo
2 Demolombe, Robert
2 Denecker, Marc
2 Diéguez, Martín
2 Dodaro, Carmine
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 Finger, Marcelo
2 Gabàs, Joel
2 Gaggl, Sarah Alice
2 Giacomin, Massimiliano
2 Giráldez-Cru, Jesús
2 Goldberg, Eugene L.
2 Graça, Ana
...and 520 more Authors
all top 5

Cited in 55 Serials

39 Artificial Intelligence
22 Constraints
19 Journal of Automated Reasoning
10 Formal Methods in System Design
9 Annals of Mathematics and Artificial Intelligence
7 Annals of Operations Research
6 Theoretical Computer Science
5 Theory and Practice of Logic Programming
4 International Journal of Approximate Reasoning
4 Prikladnaya Diskretnaya Matematika
3 Information Processing Letters
3 Science of Computer Programming
3 Computers & Operations Research
3 Formal Aspects of Computing
3 Logical Methods in Computer Science
2 Discrete Applied Mathematics
2 Journal of Computer Science and Technology
2 Information and Computation
2 ACM Transactions on Computational Logic
2 Journal of Discrete Algorithms
2 Mathematics 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 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 Mathematical Problems in Engineering
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 ACM Journal of Experimental Algorithmics
1 Journal of Applied Logic
1 Electronic Notes in Theoretical Computer Science
1 Optimization Letters
1 Cryptography and Communications
1 Science China. Information Sciences
1 Computer Science Review
1 ACM Transactions on Computation Theory
1 Ural Mathematical Journal

Citations by Year