File:Riedel-research-reduction-of-interpolants-for-logic-synthesis-64b719b3.jpg

From The Circuits and Biology Lab at UMN
Jump to navigationJump to search

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/TimeThumbnailDimensionsUserComment
current23:55, 18 August 2026Thumbnail for version as of 23:55, 18 August 2026583 × 449 (21 KB)MarcRiedel (talk | contribs)Add visual for the redesigned research publications page

You cannot overwrite this file.

The following page uses this file:

Retrieved from "http://mriedel.ece.umn.edu/wiki/index.php?title=File:Riedel-research-reduction-of-interpolants-for-logic-synthesis-64b719b3.jpg&oldid=333666"