Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:annual_computer_science_competition
|
| gptkbp:aimsTo |
advance the state of the art in SAT solving
|
| gptkbp:alsoKnownAs |
SAT Race
|
| gptkbp:assesses |
gptkb:SAT_solvers
|
| gptkbp:category |
crafted SAT
industrial SAT random SAT |
| gptkbp:firstHeld |
2002
|
| gptkbp:focusesOn |
gptkb:Boolean_satisfiability_problem
|
| gptkbp:heldBy |
various international conferences
|
| gptkbp:organizedBy |
researchers in the SAT community
|
| gptkbp:relatedTo |
gptkb:MiniSAT
SAT solving PicoSAT SAT Challenge |
| gptkbp:website |
http://satcompetition.org/
|
| gptkbp:bfsParent |
gptkb:SAT_solvers
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
SAT Competition
|