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
|