Circuit satisfiability
http://dbpedia.org/resource/Circuit_satisfiability
rdf:langString
Circuit satisfiability
xsd:integer
34599312
xsd:integer
474937738
xsd:nonNegativeInteger
44