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