|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2 occurrences of 2 keywords
|
|
|
|
|
Results
Found 5 publication records. Showing 5 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 106 | Marc Herbstritt, Bernd Becker 0001 |
On Combining 01X-Logic and QBF.  |
EUROCAST  |
2007 |
DBLP DOI BibTeX RDF |
01X, Blackbox Designs, Bounded Model Checking, QBF |
| 79 | Marc Herbstritt, Bernd Becker 0001, Christoph Scholl 0001 |
Advanced SAT-Techniques for Bounded Model Checking of Blackbox Designs. |
MTV |
2006 |
DBLP DOI BibTeX RDF |
|
| 42 | Dominik Erb, Karsten Scheibler, Michael A. Kochte, Matthias Sauer 0002, Hans-Joachim Wunderlich, Bernd Becker 0001 |
Mixed 01X-RSL-Encoding for fast and accurate ATPG with unknowns. |
ASP-DAC |
2016 |
DBLP DOI BibTeX RDF |
|
| 26 | Bernd Becker 0001, Marc Herbstritt, Natalia Kalinnik, Matthew Lewis 0004, Juri Lichtner, Tobias Nopper, Ralf Wimmer 0001 |
Propositional approximations for bounded model checking of partial circuit designs. |
ICCD |
2008 |
DBLP DOI BibTeX RDF |
|
| 26 | Marc Herbstritt, Bernd Becker 0001 |
On SAT-based Bounded Invariant Checking of Blackbox Designs. |
MTV |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #5 of 5 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license