File:Riedel-research-resolution-proofs-as-a-data-structure-for-logic-synthesis-6575a45d.jpg
From The Circuits and Biology Lab at UMN
Jump to navigationJump to search
Size of this preview: 800 × 240 pixels. Other resolution: 1,000 × 300 pixels.
Original file (1,000 × 300 pixels, file size: 37 KB, MIME type: image/jpeg)
Source
Figure excerpted from Resolution Proofs as a Data Structure 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 | | 1,000 × 300 (37 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:
