Login / Signup
Kai Weber
Publication Activity (10 Years)
Years Active: 2018-2022
Publications (10 Years): 4
Top Topics
Sat Instances
Discrete Optimization
Smart Card
Optimization Process
Top Venues
CoRR
FTC (1)
IntelliSys (1)
POS@SAT
</>
Publications
</>
Anastasia-Maria Leventi-Peetz
,
Kai Weber
Rashomon Effect and Consistency in Explainable Artificial Intelligence (XAI).
FTC (1)
(2022)
Anastasia-Maria Leventi-Peetz
,
T. Östreich
,
Werner Lennartz
,
Kai Weber
Scope and Sense of Explainability for AI-Systems.
IntelliSys (1)
(2021)
Anastasia-Maria Leventi-Peetz
,
Oliver Zendel
,
Werner Lennartz
,
Kai Weber
CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances.
CoRR
(2021)
Anastasia-Maria Leventi-Peetz
,
Oliver Zendel
,
Werner Lennartz
,
Kai Weber
CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances.
POS@SAT
(2018)