KIT - Karlsruhe Institute of Technology
image/svg+xml
Endowed professorship for reliable software systems in the automotive industry
Home
Legals
Data Protection
Sitemap
KIT
KIT
de
Profile
Staff
Research
Start
Research
Research
Statische Software-Analyse
Software-Defekt-Vorhersage
Produkt-Konfiguration
Zuverlässige maschinelle Lernverfahren
Logische Entscheidungsverfahren
Lehrveranstaltungen
Bachelor/Master Theses
Publications
Startpage
Home
Legals
Data Protection
Sitemap
Endowed professorship for reliable software systems in the automotive industry
Startpage
Publications
Endowed professorship for reliable software systems in the automotive industry
Profile
Staff
Research
Lehrveranstaltungen
Bachelor/Master Theses
Publications
Publications
Using Gate Recognition and Random Simulation for Under-Approximation and Optimized Branching in SAT Solvers
Author:
Markus Iser
,
Felix Kutzner
,
Carsten Sinz
Source:
29th ICTAI 2017: Boston, MA, USA: 1029-1036
