Login / Signup
Georg Siebert
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 2
Top Topics
Satisfiability Testing
Formal Models
Propositional Logic
Pairwise
Top Venues
SAT
OVERLAY@GandALF
</>
Publications
</>
Marco Sälzer
,
Georg Siebert
Towards Learning From Graph Representable Formal Models.
OVERLAY@GandALF
(2021)
Norbert Hundeshagen
,
Martin Lange
,
Georg Siebert
DiMo - Discrete Modelling Using Propositional Logic.
SAT
(2021)