Statements (20)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Boolean_satisfiability_problem
|
| gptkbp:application |
gptkb:Boolean_satisfiability_problem
|
| gptkbp:citation |
gptkb:Eén,_N.,_&_Sörensson,_N._(2003)._An_extensible_SAT-solver._SAT_2003.
|
| gptkbp:developer |
gptkb:Niklas_Eén
gptkb:Niklas_Sörensson |
| gptkbp:firstReleased |
2003
|
| gptkbp:influenced |
many modern SAT solvers
|
| gptkbp:license |
gptkb:MIT_License
|
| gptkbp:notableFeature |
simplicity
efficiency |
| gptkbp:openSource |
true
|
| gptkbp:programmingLanguage |
gptkb:C++
|
| gptkbp:usedIn |
gptkb:research
industrial applications |
| gptkbp:website |
http://minisat.se/
|
| gptkbp:bfsParent |
gptkb:CDCL_algorithm
gptkb:CDCL_SAT_solvers gptkb:SAT_solvers |
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
MiniSAT
|