HOME
|
CONTACT
Group of Computer Architecture / AGRA
|
Computer Science
|
Faculty 03
|
University of Bremen
Navigation ein-/ausblenden
HOME
Group
Team
Alumni
PhD Thesis
Research
Areas
Projects
Cooperations
Honors
Studies
Master Thesis
Teaching Material
Student Projects
Publications
Books
Book contributions
Journals
Conferences
Workshops
Competences
Software
Hardware
Service
Contact
News
Jobs
Press
Media
Dr. Cecile Braunstein
Guest
+49 421 218-64446
MZH
4196
Conferences
Increasing the Accuracy of SAT-based Debugging
Author: Andre Sülflow, Görschwin Fey, Cécile Braunstein, Ulrich Kühne, Rolf Drechsler
Conference:
Design, Automation and Test in Europe (DATE)
Pdf
| Reference: pp. 1326-1332, Nice, 2009
Workshops
Increasing the Accuracy of SAT-based Debugging
Author: Andre Sülflow, Görschwin Fey, Cécile Braunstein, Ulrich Kühne, Rolf Drechsler
Workshop:
12. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen"
Pdf |
Reference: pp. 47-56, Berlin, 2009
« back
Group
Team
Alumni
PhD Thesis
Research
Areas
Projects
Cooperations
Honors
Studies
Master Thesis
Teaching Material
Students Projects
Publications
Books
Book contributions
Journals
Conferences
Workshops
Competences
Software
Hardware
Service
Contact
News
Jobs
Press
Media
©2026 |
Group of Computer Architecture
|
Contact
|
Legal & Data Privacy
