Niklas Eén
发表
Leonid Ryzhyk,
Alexander Legg,
Nina Narodytska,
2015,
AAAI.
Robert K. Brayton,
Nikhil Sharma,
Alan Mishchenko,
2013,
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Robert K. Brayton,
Alan Mishchenko,
Jason Baumgartner,
2013,
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Niklas Sörensson,
Niklas Eén,
N. Eén,
2003,
BMC@CAV.
Niklas Sörensson,
Niklas Eén,
N. Eén,
2003,
SAT.
Mary Sheeran,
Knut Åkesson,
Koen Claessen,
2009,
Discret. Event Dyn. Syst..
Parosh Aziz Abdulla,
Per Bjesse,
Niklas Eén,
2000,
TACAS.
Josef Urban,
Alexander A. Alemi,
François Chollet,
2016,
NIPS.
Niklas Eén,
N. Eén,
2005
.
Robert K. Brayton,
Alan Mishchenko,
Satrajit Chatterjee,
2006,
ICCAD.
Robert K. Brayton,
Sayak Ray,
Chao Chen,
2012,
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Alan Mishchenko,
Niklas Eén,
2013,
DIFTS@FMCAD.
Robert K. Brayton,
Alan Mishchenko,
Niklas Eén,
2011,
2011 Formal Methods in Computer-Aided Design (FMCAD).
Alan Mishchenko,
Nina Amla,
Niklas Eén,
2010,
Formal Methods in Computer Aided Design.
Armin Biere,
Niklas Eén,
N. Eén,
2005,
SAT.
Alan Mishchenko,
Niklas Sörensson,
Niklas Eén,
2007,
SAT.
Niklas Sörensson,
Niklas Eén,
N. Eén,
2006,
J. Satisf. Boolean Model. Comput..
Baruch Sterin,
Koen Claessen,
Niklas Eén,
2013,
2013 Formal Methods in Computer-Aided Design.