File:Riedel-research-reduction-of-interpolants-for-logic-synthesis-64b719b3.jpg
From The Circuits and Biology Lab at UMN
Jump to navigationJump to search
No higher resolution available.
Riedel-research-reduction-of-interpolants-for-logic-synthesis-64b719b3.jpg (583 × 449 pixels, file size: 21 KB, MIME type: image/jpeg)
Source
Figure excerpted from Reduction of Interpolants for Logic Synthesis. Marc Riedel is an author of the paper.
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 23:55, 18 August 2026 | | 583 × 449 (21 KB) | MarcRiedel (talk | contribs) | Add visual for the redesigned research publications page |
You cannot overwrite this file.
File usage
The following page uses this file:
