SAT Competition

GPTKB entity

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