About: 3cnf-sat

Property	Value
dbpprop:hasPhotoCollection	http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/3cnf-sat
dbpprop:redirect	dbpedia:Boolean_satisfiability_problem
rdfs:label	3cnf-sat
owl:sameAs	freebase:3cnf-sat
foaf:page	http://en.wikipedia.org/wiki/3cnf-sat