File:Riedel-research-the-synthesis-of-cyclic-dependencies-with-boolean-satisfiability-df729064.jpg
From The Circuits and Biology Lab at UMN
Jump to navigationJump to search
Size of this preview: 448 × 599 pixels. Other resolution: 469 × 627 pixels.
Original file (469 × 627 pixels, file size: 13 KB, MIME type: image/jpeg)
Source
Figure excerpted from The Synthesis of Cyclic Dependencies with Boolean Satisfiability. 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 | | 469 × 627 (13 KB) | MarcRiedel (talk | contribs) | Add visual for the redesigned research publications page |
You cannot overwrite this file.
File usage
There are no pages that use this file.
