Statements (21)
Predicate | Object |
---|---|
gptkbp:instanceOf |
Boolean satisfiability problem
|
gptkbp:application |
gptkb:artificial_intelligence
crypt formal verification Boolean satisfiability problem |
gptkbp:citation |
gptkb:Soos,_Mate,_et_al._'Extending_SAT_solvers_to_cryptographic_problems.'_SAT_2009.
|
gptkbp:developer |
gptkb:Mate_Soos
|
gptkbp:firstReleased |
2009
|
https://www.w3.org/2000/01/rdf-schema#label |
CryptoMiniSat SAT solver
|
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
|