GRASP (SAT solver)

From Wikipedia, the free encyclopedia
Revision as of 05:00, 29 January 2021 by imported>GünniX (Reflist)
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Template:Primary GRASP is a well known SAT instance solver. It was developed by João Marques Silva, a Portuguese computer science researcher. It stands for Generic seaRch Algorithm for the Satisfiability Problem.[1]

External links

References

Template:Reflist

  1. ↑ Script error: No such module "citation/CS1".
Retrieved from "http://debianws.lexgopc.com/wiki143/index.php?title=GRASP_(SAT_solver)&oldid=1474766"