Skip to search formSkip to main contentSkip to account menu

GRASP (SAT solver)

Known as: Grasp (disambiguation) 
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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
In this paper a new stochastic methodology hybrid HS-GRASP is proposed on the base of Harmony Search (HS) algorithm and Greedy… 
2015
2015
Several papers in the scientific literature use metaheuristics to solve continuous global optimization. To perform this task… 
2014
2014
: The permutation flow shop scheduling problem has been completely concentrated on in late decades, both from single objective… 
2013
2013
A grasp g is said to achieve local force closure with respect to a given external wrench wext if g can resist wext as well as any… 
2012
2012
Wireless sensor networks are subject to failures. Deployment planning should ensure that when a sink or sensor node fails, the… 
2012
2012
In this paper we consider the DTN routing problem in networks where the links between nodes are not stable, but tend to change… 
2012
2012
  • G. Feng
  • 2012
  • Corpus ID: 5183963
Constrained minimum Steiner tree (CMST) problem is a key issue in multicast routing with quality of service (QoS) support. Many… 
2010
2010
In order to improve the limitations of GRASP,this paper proposed a new hybrid algorithm(H-GRASP),which could resolve the problem… 
2009
2009
Abstract In this paper, a new modified version of Greedy Randomized Adaptive Search Procedure (GRASP), called Multiple Phase…