GRASP (SAT solver)

From Wikipedia, the free encyclopedia
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"