Login / Signup
Fadil Kallat
ORCID
Publication Activity (10 Years)
Years Active: 2019-2022
Publications (10 Years): 2
Top Topics
User Feedback
Sat Solvers
Logic Synthesis
Simulation Model
Top Venues
PxTP
WSC
</>
Publications
</>
Alexander Mages
,
Carina Mieth
,
Jens Hetzler
,
Fadil Kallat
,
Jakob Rehof
,
Christian Riest
,
Tristan Schäfer
Automatic Component-Based Synthesis of User-Configured Manufacturing Simulation Models.
WSC
(2022)
Fadil Kallat
,
Tristan Schäfer
,
Anna Vasileva
CLS-SMT: Bringing Together Combinatory Logic Synthesis and Satisfiability Modulo Theories.
PxTP
(2019)