Search the dblp DataBase

Publications of Author

1. Alan Mishchenko, Satrajit Chatterjee, Robert K. Brayton, Niklas Eén
   Improvements to combinational equivalence checking. [Citation Graph (0, 0)][DBLP]
   ICCAD, 2006, pp:836-843 [Conf]
   
2. Niklas Eén, Armin Biere
   Effective Preprocessing in SAT Through Variable and Clause Elimination. [Citation Graph (0, 0)][DBLP]
   SAT, 2005, pp:61-75 [Conf]
   
3. Niklas Eén, Niklas Sörensson
   An Extensible SAT-solver. [Citation Graph (0, 0)][DBLP]
   SAT, 2003, pp:502-518 [Conf]
   
4. Parosh Aziz Abdulla, Per Bjesse, Niklas Eén
   Symbolic Reachability Analysis Based on SAT-Solvers. [Citation Graph (0, 0)][DBLP]
   TACAS, 2000, pp:411-425 [Conf]
   
5. Niklas Eén, Niklas Sörensson
   Temporal induction by incremental SAT solving. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:89, n:4, pp:- [Journal]
   
6. Niklas Eén, Alan Mishchenko, Niklas Sörensson
   Applying Logic Synthesis for Speeding Up SAT. [Citation Graph (0, 0)][DBLP]
   SAT, 2007, pp:272-286 [Conf]
   
7. 
   A Single-Instance Incremental SAT Formulation of Proof- and Counterexample-Based Abstraction [Citation Graph (, )][DBLP]