Statements (21)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Boolean_satisfiability_problem
|
| gptkbp:application |
gptkb:artificial_intelligence
gptkb:crypt gptkb:Boolean_satisfiability_problem formal verification |
| gptkbp:citation |
gptkb:Soos,_Mate,_et_al._'Extending_SAT_solvers_to_cryptographic_problems.'_SAT_2009.
|
| gptkbp:developer |
gptkb:Mate_Soos
|
| gptkbp:firstReleased |
2009
|
| gptkbp:latestReleaseVersion |
5
|
| gptkbp:license |
gptkb:MIT_License
|
| gptkbp:notableFeature |
parallel solving
XOR clause handling incremental SAT solving |
| gptkbp:openSource |
true
|
| gptkbp:programmingLanguage |
gptkb:C++
|
| gptkbp:usedIn |
gptkb:SAT_Competition
research projects |
| gptkbp:website |
https://github.com/msoos/cryptominisat
|
| gptkbp:bfsParent |
gptkb:Vijay_Ganesh
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
CryptoMiniSat SAT solver
|