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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

2007-2018
01220072018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
The connected vertex cover (CVC) problem is a variant of the vertex cover problem, 1 which has many important applications, such… (More)
  • figure 1
  • table 1
  • table 2
Is this relevant?
2016
2016
In this paper a new stochastic methodology hybrid HS-GRASP is proposed on the base of Harmony Search (HS) algorithm and Greedy… (More)
  • table 2
Is this relevant?
2014
2014
Abstract: The permutation flow shop scheduling problem has been completely concentrated on in late decades, both from single… (More)
  • figure 1
  • figure 2
  • table I
  • table II
  • table IV
Is this relevant?
2014
2014
Magnetic force has been used for drug delivery, magnetic separation, and other kinds of micro- and nano-particle handling. As… (More)
  • figure 2
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2012
2012
Wireless sensor networks are subject to failures. Deployment planning should ensure that when a sink or sensor node fails, the… (More)
  • figure 1
  • figure 3
  • figure 2
  • table 1
  • figure 4
Is this relevant?
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… (More)
  • table IV
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2012
2012
  • Gang Feng
  • 2012 IEEE International Conference on…
  • 2012
Constrained minimum Steiner tree (CMST) problem is a key issue in multicast routing with quality of service (QoS) support. Many… (More)
  • figure 1
  • table I
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2011
2011
This paper proposed the novel approach for operating tweezers with multi-finger robot hand. The proposed method based on… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Review
2008
Review
2008
Recent research has shown that the hybridization of metaheuristics is a powerful mechanism to develop more robust and efficient… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2007
2007
Cell adhesion molecules of the immunoglobulin superfamily (IgSF-CAMs) are crucial for a variety of processes during the formation… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 4
  • figure 3
Is this relevant?