🌐ItalianoEnglishDeutschFrançaisItalianoРусскийالعربيةEntityQ339688· pop 63-satisfiabilityAlso known as 3-SAT, 3CNFSAT, 3SATproblema computazionaleWikidata factsImageSat reduced to Clique from Sipser.svgSources (1)wikidata.orgvia Wikidata · CC0Available in 6 languagesEspañolFrançaisDeutschРусскийالعربيةvia Wikidata sitelinks · CC0Connectionsboolean satisfiability problemEntityCategoriesPrintworthy redirects