Niklas Een

Publikationer (9)
Projekt (0)

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

SAT Based Model Checking

Niklas Een

Doktorsavhandling

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

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

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

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

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.