Florian Lonsing
发表
Armin Biere,
Aina Niemetz,
Mathias Preiner,
2012,
SAT.
Florian Lonsing,
Uwe Egly,
2014,
CP.
Florian Lonsing,
Clark Barrett,
Karthik Ganesan,
2019,
2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Armin Biere,
Florian Lonsing,
Armin Biere,
2010,
J. Satisf. Boolean Model. Comput..
Armin Biere,
Florian Lonsing,
Robert Brummayer,
2008,
SMT '08/BPR '08.
Florian Lonsing,
Martina Seidl,
Roderick Bloem,
2016,
ArXiv.
Florian Lonsing,
Johannes Oetsch,
Uwe Egly,
2015,
LPAR.
Florian Lonsing,
Martina Seidl,
Florian Lonsing,
2018,
Handbook of Parallel Constraint Reasoning.
Jason Cong,
Zhiru Zhang,
Peng Wei,
2020,
2020 57th ACM/IEEE Design Automation Conference (DAC).
Armin Biere,
Florian Lonsing,
2008,
SAT.
Florian Lonsing,
Uwe Egly,
Martin Kronegger,
2016,
Annals of Mathematics and Artificial Intelligence.
Armin Biere,
Florian Lonsing,
2009,
SAT.
Florian Lonsing,
Uwe Egly,
U. Egly,
2015,
SAT.
Florian Lonsing,
Uwe Egly,
2015
.
Florian Lonsing,
Uwe Egly,
Magdalena Widl,
2013,
LPAR.
Florian Lonsing,
Uwe Egly,
2014,
ICMS.
Florian Lonsing,
Tomás Balyo,
Florian Lonsing,
2016,
SAT.
Florian Lonsing,
Uwe Egly,
Martin Kronegger,
2014,
AISC.
Florian Lonsing,
Martina Seidl,
Roderick Bloem,
2018,
2018 Formal Methods in Computer Aided Design (FMCAD).
Lukasz Kaiser,
Florian Lonsing,
Martina Seidl,
2014,
SAT.
Florian Lonsing,
Martina Seidl,
Allen Van Gelder,
2016,
Artif. Intell..
Armin Biere,
Florian Lonsing,
Armin Biere,
2010,
SAT.
Florian Lonsing,
Uwe Egly,
U. Egly,
2017,
CADE.
Florian Lonsing,
Uwe Egly,
Allen Van Gelder,
2013,
SAT.
Florian Lonsing,
Allen Van Gelder,
Samuel B. Wood,
2012,
SAT.
Armin Biere,
Florian Lonsing,
Martina Seidl,
2011,
CADE.
Florian Lonsing,
Uwe Egly,
2019,
SAT.
Armin Biere,
Florian Lonsing,
Martina Seidl,
2013,
PAAR@IJCAR.
Florian Lonsing,
Subhasish Mitra,
Clark Barrett,
2020,
2020 Formal Methods in Computer Aided Design (FMCAD).
Florian Lonsing,
Roderick Bloem,
Uwe Egly,
2014,
2014 Formal Methods in Computer-Aided Design (FMCAD).
Armin Biere,
Florian Lonsing,
2009,
Electron. Notes Theor. Comput. Sci..
Florian Lonsing,
Florian Lonsing,
2019,
J. Satisf. Boolean Model. Comput..
Armin Biere,
Florian Lonsing,
Robert Brummayer,
2010,
SAT.
Mikolás Janota,
Florian Lonsing,
Martina Seidl,
2014,
J. Satisf. Boolean Model. Comput..
Armin Biere,
Florian Lonsing,
2011,
SAT.
Florian Lonsing,
Uwe Egly,
2018,
CP.
Armin Biere,
Florian Lonsing,
Martina Seidl,
2015,
J. Artif. Intell. Res..
Florian Lonsing,
Uwe Egly,
2018,
IJCAR.
Armin Biere,
Florian Lonsing,
Martina Seidl,
2015,
LPAR.
Florian Lonsing,
Martina Seidl,
Uwe Egly,
2016,
SAT.
Florian Lonsing,
Aarti Gupta,
Makai Mann,
2021,
CAV.
Jason Cong,
Peng Wei,
Ramesh Karri,
2021,
2021 Formal Methods in Computer Aided Design (FMCAD).
Florian Lonsing,
Martina Seidl,
Uwe Egly,
2021,
Formal Methods in System Design.
Effective Pre-Silicon Verification of Processor Cores by Breaking the Bounds of Symbolic Quick Error Detection
pdf
Dominik Stoffel,
Wolfgang Kunz,
Florian Lonsing,
2021,
ArXiv.
Armin Biere,
Florian Lonsing,
Armin Biere,
2010
.