×
Compute Distance To:
Author ID: een.niklas Recent zbMATH articles by "Eén, Niklas"
Published as: Eén, Niklas; Een, Niklas
Documents Indexed: 7 Publications since 2000
Co-Authors: 9 Co-Authors with 7 Joint Publications
223 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 447 times in 367 Documents Cited by Year
An extensible SAT-solver. Zbl 1204.68191
Eén, Niklas; Sörensson, Niklas
233
2004
Effective preprocessing in SAT through variable and clause elimination. Zbl 1128.68463
Eén, Niklas; Biere, Armin
84
2005
Translating pseudo-Boolean constraints into SAT. Zbl 1116.68083
Eén, Niklas; Sörensson, Niklas
67
2006
Temporal induction by incremental SAT solving. Zbl 1271.68215
Eén, Niklas; Sörensson, Niklas
43
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
7
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
7
2007
Translating pseudo-Boolean constraints into SAT. Zbl 1116.68083
Eén, Niklas; Sörensson, Niklas
67
2006
Effective preprocessing in SAT through variable and clause elimination. Zbl 1128.68463
Eén, Niklas; Biere, Armin
84
2005
An extensible SAT-solver. Zbl 1204.68191
Eén, Niklas; Sörensson, Niklas
233
2004
Temporal induction by incremental SAT solving. Zbl 1271.68215
Eén, Niklas; Sörensson, Niklas
43
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 740 Authors

20 Marques-Silva, João P.
13 Heule, Marijn J. H.
12 Biere, Armin
9 Gebser, Martin
9 Järvisalo, Matti
9 Schaub, Torsten H.
7 Ignatyev, Alexey A.
7 Kröning, Daniel
7 Lynce, Inês
7 Sebastiani, Roberto
6 Ansótegui, Carlos
6 Maratea, Marco
6 Ryvchin, Vadim
6 Saïs, Lakhdar
6 Semenov, Aleksandr Anatol’evich
5 Janota, Mikoláš
5 Kaminski, Roland
5 Kaufmann, Benjamin
5 Liffiton, Mark H.
5 Nieuwenhuis, Robert
5 Woltran, Stefan
4 Amjad, Hasan
4 Cimatti, Alessandro
4 Giunchiglia, Enrico
4 Heljanko, Keijo
4 Hoos, Holger H.
4 Jabbour, Said
4 Janhunen, Tomi
4 Junttila, Tommi A.
4 Kochemazov, Stepan
4 Kullmann, Oliver
4 Levy, Jordi
4 Leyton-Brown, Kevin
4 Lierler, Yuliya
4 Lonsing, Florian
4 Marquis, Pierre
4 Martins, Ruben
4 Philipp, Tobias
4 Sakallah, Karem A.
4 Stuckey, Peter James
4 Vardi, Moshe Ya’akov
4 Zaikin, Oleg Sergeevich
3 Balabanov, Valeriy
3 Banbara, Mutsunori
3 Becker, Bernd
3 Bofill, Miquel
3 Claessen, Koen
3 Codish, Michael
3 Dodaro, Carmine
3 Fichte, Johannes Klaus
3 Giráldez-Cru, Jesús
3 Inoue, Katsumi
3 Iser, Markus
3 Jiang, Jie-Hong Roland
3 Korovin, Konstantin
3 Lagniez, Jean-Marie
3 Manquinho, Vasco M.
3 Mencía, Carlos
3 Middeldorp, Aart
3 Morgado, António
3 Nadel, Alexander
3 Oliveras, Albert
3 Previti, Alessandro
3 Rodríguez-Carbonell, Enric
3 Roveri, Marco
3 Scholl, Christoph
3 Sinz, Carsten
3 Soh, Takehide
3 Strichman, Ofer
3 Suda, Martin
3 Szeider, Stefan
3 Tamura, Naoyuki
3 Villaret, Mateu
3 Waldmann, Johannes
3 Wallner, Johannes Peter
3 Weissenbacher, Georg
3 Wille, Robert
2 Abío, Ignasi
2 Abramé, André
2 Alliot, Jean-Marc
2 Alviano, Mario
2 Asín, Roberto
2 Audemard, Gilles
2 Bailleux, Olivier
2 Balyo, Tomáš
2 Berg, Jeremias
2 Bjørner, Nikolaj S.
2 Bogaerts, Bart
2 Bomanson, Jori
2 Bonet, Maria Luisa
2 Bozzano, Marco
2 Brayton, Robert K.
2 Brickenstein, Michael
2 Brown, Chad Edward
2 Bruttomesso, Roberto
2 Bruynooghe, Maurice
2 Cai, Shaowei
2 Cerutti, Federico
2 de Cat, Broes
2 de Givry, Simon
...and 640 more Authors
all top 5

Cited in 60 Serials

43 Artificial Intelligence
25 Constraints
20 Journal of Automated Reasoning
12 Formal Methods in System Design
9 Annals of Mathematics and Artificial Intelligence
8 Theory and Practice of Logic Programming
8 Journal of Satisfiability, Boolean Modeling and Computation
7 Annals of Operations Research
6 Theoretical Computer Science
4 Information and Computation
4 International Journal of Approximate Reasoning
4 Formal Aspects of Computing
3 Information Processing Letters
3 Science of Computer Programming
3 ACM Journal of Experimental Algorithmics
3 Logical Methods in Computer Science
3 Prikladnaya Diskretnaya Matematika
2 Acta Informatica
2 Discrete Applied Mathematics
2 Discrete Mathematics
2 Journal of Computer Science and Technology
2 Computers & Operations Research
2 AI Communications
2 The Journal of Artificial Intelligence Research (JAIR)
2 ACM Transactions on Computational Logic
2 Journal of Discrete Algorithms
2 Mathematics in Computer Science
2 Mathematical Programming Computation
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 Graphs and Combinatorics
1 Journal of Symbolic Computation
1 Algorithmica
1 Discrete & Computational Geometry
1 Journal of Cryptology
1 Discrete Event Dynamic Systems
1 Automation and Remote Control
1 European Journal of Operational Research
1 Mathematical Programming. Series A. Series B
1 Journal of Mathematical Sciences (New York)
1 The Electronic Journal of Combinatorics
1 Journal of Heuristics
1 Journal of Mathematical Chemistry
1 Mathematical Problems in Engineering
1 Theory of Computing Systems
1 Optimization Methods & Software
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 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