Jan Elffers
发表
Jesús Giráldez-Cru,
Laurent Simon,
Jakob Nordström,
2018,
IJCAI.
Mathijs de Weerdt,
Jan Elffers,
M. D. Weerdt,
2014,
ArXiv.
Jakob Nordström,
Jan Elffers,
Jakob Nordström,
2018,
IJCAI.
Jesús Giráldez-Cru,
Marc Vinyals,
Jakob Nordström,
2018,
SAT.
Jan Johannsen,
Marc Vinyals,
Massimo Lauria,
2016,
SAT.
Ciaran McCreesh,
Jakob Nordström,
Jan Elffers,
2020,
AAAI.
Jan Johannsen,
Marc Vinyals,
Jakob Nordström,
2020,
SAT.
Jesús Giráldez-Cru,
Marc Vinyals,
Jakob Nordström,
2018,
SAT.
Jakob Nordström,
Jan Elffers,
2020,
AAAI.
Paul Beame,
Jan Elffers,
Jo Devriendt,
2020,
2020 Formal Methods in Computer Aided Design (FMCAD).
Marc Vinyals,
Massimo Lauria,
Jakob Nordström,
2017,
SAT.