GRASP (Q5514407)
Jump to navigation
Jump to search
SAT instance solver
Language | Label | Description | Also known as |
---|---|---|---|
English | GRASP |
SAT instance solver |
Statements
0 references
Identifiers
Sitelinks
Wikipedia(1 entry)
- enwiki GRASP (SAT solver)