Concepedia

Niklas Eén

NE

15

Publications

1.9K

Citations

14

H-Index

2003

Active since

Affiliations

University of California, Berkeley(Current)

Cadence Design Systems (United States)

Chalmers University of Technology

Lawrence Berkeley National Laboratory

Niklas Eén is an author at University of California, Berkeley specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsFormal VerificationSatisfiabilityVerificationComputer EngineeringComputational ComplexityProgram Analysis

Publications per year

2003–2016

15

Publications

15

Translating Pseudo-Boolean Constraints into SAT

Niklas Eén, Niklas Sörensson · Journal on Satisfiability Boolean Modeling and Computation · 2006 · 572 citations · Full text

Mathematical Programming, Constraint Solving, Engineering +12

Temporal Induction by Incremental SAT Solving

Niklas Eén, Niklas Sörensson · Electronic Notes in Theoretical Computer Science · 2003 · 369 citations · Full text

Artificial Intelligence, Engineering, Verification +16

Efficient implementation of property directed reachability

Niklas Eén, Alan Mishchenko, Robert K. Brayton · Formal Methods in Computer-Aided Design · 2011 · 272 citations

Engineering, Reachability Problem, Verification +21

MiniSat v1.13 - A SAT Solver with Conflict-Clause Minimization

Niklas Sörensson, Niklas Eén · 2005 · 186 citations

Artificial Intelligence, Engineering, Vsids Im- +16

Improvements to combinational equivalence checking

Alan Mishchenko, Satrajit Chatterjee, Robert K. Brayton et al. · Digest of technical papers/Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design · 2006 · 130 citations

Logic Synthesis, Engineering, Automated Reasoning +15

Rows per page

1–5 of 15