SAT Competition 2016 Main Track
GPTKB entity
Statements (11)
Predicate | Object |
---|---|
gptkbp:instanceOf |
SAT competition track
|
gptkbp:eventType |
gptkb:football
|
gptkbp:field |
Satisfiability Testing
|
https://www.w3.org/2000/01/rdf-schema#label |
SAT Competition 2016 Main Track
|
gptkbp:location |
gptkb:Bordeaux,_France
|
gptkbp:organizer |
SAT Competition Organizing Committee
|
gptkbp:partOf |
SAT Competition 2016
|
gptkbp:website |
http://satcompetition.org/2016/
|
gptkbp:year |
2016
|
gptkbp:bfsParent |
gptkb:MapleSAT
|
gptkbp:bfsLayer |
7
|