Statements (19)
Predicate | Object |
---|---|
gptkbp:instanceOf |
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 |
Boolean satisfiability problem
|
gptkbp:heldBy |
various international conferences
|
https://www.w3.org/2000/01/rdf-schema#label |
SAT Competition
|
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 |
6
|