Edit Profile (opens in new tab) Eén, Niklas Compute Distance To: Compute Author ID: een.niklas Published as: Eén, Niklas; Een, Niklas Documents Indexed: 7 Publications since 2000 Co-Authors: 9 Co-Authors with 7 Joint Publications 225 Co-Co-Authors all top 5 Co-Authors 0 single-authored 5 Sörensson, Niklas 1 Abdulla, Parosh Aziz 1 Åkesson, Knut 1 Biere, Armin 1 Bjesse, Per 1 Claessen, Koen 1 Mishchenko, Alan 1 Sheeran, Mary 1 Voronov, Alexey Serials 1 Discrete Event Dynamic Systems 1 Journal of Satisfiability, Boolean Modeling and Computation Fields 6 Computer science (68-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 7 Publications have been cited 456 times in 372 Documents Cited by ▼ Year ▼ An extensible SAT-solver. Zbl 1204.68191Eén, Niklas; Sörensson, Niklas 236 2004 Effective preprocessing in SAT through variable and clause elimination. Zbl 1128.68463Eén, Niklas; Biere, Armin 86 2005 Translating pseudo-Boolean constraints into SAT. Zbl 1116.68083Eén, Niklas; Sörensson, Niklas 68 2006 Temporal induction by incremental SAT solving. Zbl 1271.68215Eén, Niklas; Sörensson, Niklas 45 2003 Symbolic reachability analysis based on SAT-solvers. Zbl 0971.68633Abdulla, Parosh Aziz; Bjesse, Per; Eén, Niklas 11 2000 Applying logic synthesis for speeding up SAT. Zbl 1214.68351Een, Niklas; Mishchenko, Alan; Sörensson, Niklas 7 2007 SAT-solving in practice, with a tutorial example from supervisory control. Zbl 1180.93065Claessen, Koen; Een, Niklas; Sheeran, Mary; Sörensson, Niklas; Voronov, Alexey; Åkesson, Knut 3 2009 SAT-solving in practice, with a tutorial example from supervisory control. Zbl 1180.93065Claessen, Koen; Een, Niklas; Sheeran, Mary; Sörensson, Niklas; Voronov, Alexey; Åkesson, Knut 3 2009 Applying logic synthesis for speeding up SAT. Zbl 1214.68351Een, Niklas; Mishchenko, Alan; Sörensson, Niklas 7 2007 Translating pseudo-Boolean constraints into SAT. Zbl 1116.68083Eén, Niklas; Sörensson, Niklas 68 2006 Effective preprocessing in SAT through variable and clause elimination. Zbl 1128.68463Eén, Niklas; Biere, Armin 86 2005 An extensible SAT-solver. Zbl 1204.68191Eén, Niklas; Sörensson, Niklas 236 2004 Temporal induction by incremental SAT solving. Zbl 1271.68215Eén, Niklas; Sörensson, Niklas 45 2003 Symbolic reachability analysis based on SAT-solvers. Zbl 0971.68633Abdulla, Parosh Aziz; Bjesse, Per; Eén, Niklas 11 2000 all cited Publications top 5 cited Publications all top 5 Cited by 755 Authors 20 Marques-Silva, João P. 14 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 Weidenbach, Christoph 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 Barrett, Clark W. 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 ...and 655 more Authors all top 5 Cited in 60 Serials 43 Artificial Intelligence 25 Constraints 21 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 5 International Journal of Approximate Reasoning 4 Information and Computation 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 all top 5 Cited in 20 Fields 331 Computer science (68-XX) 48 Operations research, mathematical programming (90-XX) 41 Mathematical logic and foundations (03-XX) 15 Combinatorics (05-XX) 15 Information and communication theory, circuits (94-XX) 12 Biology and other natural sciences (92-XX) 3 Convex and discrete geometry (52-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Commutative algebra (13-XX) 2 Quantum theory (81-XX) 2 Systems theory; control (93-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Number theory (11-XX) 1 Geometry (51-XX) 1 Statistics (62-XX) 1 Numerical analysis (65-XX) 1 Fluid mechanics (76-XX) 1 Classical thermodynamics, heat transfer (80-XX) Citations by Year