Image: 3SAT 17 svg
Size of this PNG preview of this SVG file: 354 × 142 pixels. Other resolution: 320 × 128 pixels.
Original image (SVG file, nominally 354 × 142 pixels, file size: 55 KB)
Description: Boolean satisfiability problem with 17 variables. It has exactly one satisfying solution. See Pdf version for details, including source code.
Title: 3SAT 17 svg
Credit: Own work
Author: Jochen Burghardt
Usage Terms: Creative Commons Attribution-Share Alike 4.0
License: CC BY-SA 4.0
License Link: https://creativecommons.org/licenses/by-sa/4.0
Attribution Required?: Yes
Image usage
The following page links to this image:
All content from Kiddle encyclopedia articles (including the article images and facts) can be freely used under Attribution-ShareAlike license, unless stated otherwise.
