GRASP (SAT řešič) - GRASP (SAT solver)

tento článek příliš spoléhá na Reference na primární zdroje. Vylepšete to přidáním sekundární nebo terciární zdroje. (Srpna 2012) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

UCHOPIT je dobře známý SAT instanční řešitel. Byl vyvinut společností João Marques Silva, a portugalština počítačový vědec. Znamená Chamtivý randomizovaný postup adaptivního vyhledávání.

Reference

• Marques-Silva, J. P. a Sakallah, K. A. (1996) GRASP: New Algorithm for Satisfiability. In Proceedings of International Conference on Computer-Aided Design, str. 220-227, Santa Clara, Kalifornie, USA

externí odkazy

• Uchopte domovskou stránku