Circuit satisfiability

http://dbpedia.org/resource/Circuit_satisfiability

rdf:langString Circuit satisfiability
xsd:integer 34599312
xsd:integer 474937738
xsd:nonNegativeInteger 44
<http://dbpedia.org/resource/Circuit_satisfiability_problem>
<http://dbpedia.org/resource/Circuit_satisfiability_problem>
<http://en.wikipedia.org/wiki/Circuit_satisfiability?oldid=474937738&ns=0>
<http://en.wikipedia.org/wiki/Circuit_satisfiability>

data from the linked data cloud