N. Eén
发表
N. Eén,
2009
.
Josef Urban,
Alexander A. Alemi,
François Chollet,
2016,
NIPS.
R. Brayton,
N. Eén,
A. Mishchenko,
2006,
2006 IEEE/ACM International Conference on Computer Aided Design.
N. Eén,
Niklas Sörensson Chalmers,
2006
.
Armin Biere,
Niklas Eén,
N. Eén,
2005,
SAT.
R. Brayton,
N. Eén,
A. Mishchenko,
2012
.
R. Brayton,
N. Eén,
A. Mishchenko,
2011
.
Leonid Ryzhyk,
Niklas Een,
Alexander Legg,
2014
.
Niklas Een,
Niklas Sörensson,
N. Eén,
2005
.
Niklas Sörensson,
Niklas Eén,
N. Eén,
2003,
SAT.
Alan Mishchenko,
Nina Amla,
Niklas Eén,
2010,
Formal Methods in Computer Aided Design.
Niklas Sörensson,
Niklas Eén,
N. Eén,
2003,
BMC@CAV.
Niklas Eén,
N. Eén,
2005
.
Parosh Aziz Abdulla,
Per Bjesse,
Niklas Eén,
2000,
TACAS.
Baruch Sterin,
Koen Claessen,
Niklas Eén,
2013,
2013 Formal Methods in Computer-Aided Design.
Robert K. Brayton,
Alan Mishchenko,
Niklas Eén,
2011,
2011 Formal Methods in Computer-Aided Design (FMCAD).
Niklas Sörensson,
Niklas Eén,
N. Eén,
2006,
J. Satisf. Boolean Model. Comput..
Leonid Ryzhyk,
Alexander Legg,
Nina Narodytska,
2015,
AAAI.
Mary Sheeran,
Knut Åkesson,
Koen Claessen,
2009,
Discret. Event Dyn. Syst..
M. Sheeran,
K. Claessen,
N. Een,
2008,
2008 9th International Workshop on Discrete Event Systems.
Alan Mishchenko,
Niklas Sörensson,
Niklas Eén,
2007,
SAT.