| 2007 |
|---|
| 7 | EE | Niklas Eén,
Alan Mishchenko,
Niklas Sörensson:
Applying Logic Synthesis for Speeding Up SAT.
SAT 2007: 272-286 |
| 2006 |
|---|
| 6 | EE | Alan Mishchenko,
Satrajit Chatterjee,
Robert K. Brayton,
Niklas Eén:
Improvements to combinational equivalence checking.
ICCAD 2006: 836-843 |
| 5 | EE | Niklas Eén,
Niklas Sörensson:
Translating Pseudo-Boolean Constraints into SAT.
JSAT 2(1-4): 1-26 (2006) |
| 2005 |
|---|
| 4 | EE | Niklas Eén,
Armin Biere:
Effective Preprocessing in SAT Through Variable and Clause Elimination.
SAT 2005: 61-75 |
| 2003 |
|---|
| 3 | EE | Niklas Eén,
Niklas Sörensson:
An Extensible SAT-solver.
SAT 2003: 502-518 |
| 2 | EE | Niklas Eén,
Niklas Sörensson:
Temporal induction by incremental SAT solving.
Electr. Notes Theor. Comput. Sci. 89(4): (2003) |
| 2000 |
|---|
| 1 | EE | Parosh Aziz Abdulla,
Per Bjesse,
Niklas Eén:
Symbolic Reachability Analysis Based on SAT-Solvers.
TACAS 2000: 411-425 |
