http://dbpedia.org/resource/Planar_3SAT

data from the linked data cloud