KIT - Karlsruher Institut für Technologie
Stiftungsprofessur für zuverlässige Softwaresysteme in der Automobilindustrie
Home
Impressum
Datenschutz
Sitemap
KIT
KIT
en
Profil
Mitarbeiter
Forschung
Start
Forschung
Forschung
Statische Software-Analyse
Software-Defekt-Vorhersage
Produkt-Konfiguration
Zuverlässige maschinelle Lernverfahren
Logische Entscheidungsverfahren
Lehrveranstaltungen
Master- und Bachelorarbeiten
Veröffentlichungen
Startseite
Home
Impressum
Datenschutz
Sitemap
Stiftungsprofessur für zuverlässige Softwaresysteme in der Automobilindustrie
Startseite
Veröffentlichungen
Forschungsgruppe
Profil
Mitarbeiter
Forschung
Lehrveranstaltungen
Master- und Bachelorarbeiten
Veröffentlichungen
Veröffentlichungen
Using Gate Recognition and Random Simulation for Under-Approximation and Optimized Branching in SAT Solvers
Autor:
Markus Iser
,
Felix Kutzner
,
Carsten Sinz
Quelle:
29th ICTAI 2017: Boston, MA, USA: 1029-1036