COLLECTED BY
Organization:
Alexa Crawls
Starting in 1996,
Alexa Internet has been donating their crawl data to the Internet Archive. Flowing in every day, these data are added to the
Wayback Machine after an embargo period.
this data is currently not publicly accessible.
The Wayback Machine - https://web.archive.org/web/20060813151655/http://www.cs.chalmers.se:80/~een/
 |
| where: |
Now at Cadence Berkeley Labs. |
| e-mail: |
een cs.chalmers.se (old -- still works)
niklaseen.se (private)
niklascadence.com (work) |
| phone: |
+1-510-387-9419 (mobile)
+1-510-647-2820 (work) |
| address: |
1806 Berkeley Way, Apt 11.
Berkeley CA 94703, USA |
|
On 1st of September 1999, I became a Ph.D. student at the Computing Science Department
at Chalmers University
of Technology, and a member of the formal
methods group. Since February 8, 2005, I am now a Ph.D.
Publications:
- Improvements to Combinational Equivalence Checking,
Alan Mishchenko, Satrajit Chatterjee, Robert Brayton, Niklas Een.
-
Translating Pseudo-Boolean Constraints into SAT,
Niklas Een, Niklas S�rensson, JSAT 2006.
-
Effective Preprocessing in SAT through Variable and Clause Elimination,
Niklas Een, Armin Biere, SAT 2005.
- SAT Based Model Checking, Ph.D. Thesis, 2005.
- An Extensible SAT-solver,
Niklas Een, Niklas S�rensson, SAT 2003.
- Temporal Induction by Incremental SAT Solving,
Niklas Een, Niklas S�rensson, BMC'03.
- Symbolic Reachability Analysis based on SAT-Solvers,
Parosh A. Abdulla, Per Bjesse, Niklas Een, TACAS'00.
Software:
MiniSat and SatELite now have their own page here.
All other software I developed during my Ph.D. can be found in the EenSoft.zip package. More information
and references can be found on the (somewhat out-dated) Satzoo page, and on the Tip
(temporal induction prover) page.
Non scientific:
I wrote an essay "P=NP -- what does it
mean?"
(ps.gz
pdf)
in a course on Theory of Science and Research Ethics.
The essay is intended for non computer scientists and explains
what P=NP is all about, and what possible consequences it
would have if we solved this problem.
Personal:
On January the 10th, 2004, one of those miracles occured. For more familly links,
look at een.se.
Why not have a look at my Single Image Stereogram page?
Or play against my old Prolog Othello program
in its new web guise?
