Niklas Een

Visar 9 publikationer

2013

A circuit approach to LTL model checking

Koen Lindström Claessen, Niklas Een, B. Sterin
13th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2013; Portland, OR; United States; 20 October 2013 through 23 October 2013, p. 53-60
Paper i proceeding
2009

SAT-Solving in Practice, with a Tutorial Example from Supervisory Control

Koen Lindström Claessen, Niklas Een, Mary Sheeran et al
Discrete Event Dynamic Systems: Theory and Applications. Vol. 19 (4), p. 495-524
Artikel i vetenskaplig tidskrift
2008

SAT-Solving in Practice

Koen Lindström Claessen, Niklas Een, Mary Sheeran et al
9th International Workshop on Discrete Event Systems, WODES' 08; Goteborg; Sweden; 28 May 2008 through 30 May 2008, p. 61-67
Paper i proceeding
2007

Applying Logic Synthesis for Speeding Up SAT

Niklas Een, Alan Mishchenko, Niklas Sörensson
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4501/2007, p. 272-286
Paper i proceeding
2005

Effective preprocessing in SAT through variable and clause elimination

Niklas Een, A. Biere
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3569, p. 61-75
Artikel i vetenskaplig tidskrift
2005

Translating Pseudo-Boolean Constraints into SAT

Niklas Een, Niklas Sörensson
Journal on Satisfiability, Boolean Modeling and Computation. Vol. 2, p. 1-26
Artikel i vetenskaplig tidskrift
2005

SAT Based Model Checking

Niklas Een
Doktorsavhandling
2003

An Extensible SAT-solver

Niklas Sörensson, Niklas Een
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 2919, p. 502-518
Paper i proceeding
2003

Temporal Induction by Incremental SAT Solving

Niklas Een, Niklas Sörensson
Electronic Notes in Theoretical Computer Science. Vol. 89 (4), p. 543-560
Artikel i vetenskaplig tidskrift

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Det finns inga projekt att visa.
Det kan finnas fler projekt där Niklas Een medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.