7 citations · 15 across the 6 of their papers we have counts for
3 papers · 1 filter
Scope and Sense of Explainability for AI-Systems
A. -M. Leventi-Peetz, T. Östreich, W. Lennartz +1
Certain aspects of the explainability of AI systems will be critically discussed. This especially with focus on the feasibility of the task of making every AI system explainable. E…
CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances
A. -M. Leventi-Peetz, O. Zendel, W. Lennartz +1
Performing hundreds of test runs and a source-code analysis, we empirically identified improved parameter configurations for the CryptoMiniSat (CMS) 5 for solving cryptographic CNF…
ML Supported Predictions for SAT Solvers Performance
A. -M. Leventi-Peetz, Jörg-Volker Peetz, Martina Rohde
In order to classify the indeterministic termination behavior of the open source SAT solver CryptoMiniSat in multi-threading mode while processing hard to solve boolean satisfiabil…