FAQ

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

Related topics

Related topics

2 relations
Boolean satisfiability problemDPLL algorithm

Related mentions per year

Related mentions per year

1971-2018
197019801990200020102020
GRASP (SAT solver)
Boolean satisfiability problem
DPLL algorithm

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
An Efficient Heuristic Algorithm for Solving Connected Vertex Cover Problem in Graph Theory
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
A Hybrid Stochastic HS-GRASP Algorithm for the VRP with Time Windows
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
A Multicriteria Permutation Flowshop Scheduling Problem with Setup Times
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
The Behavior of Nano- and Micro-Magnetic Particles Under a High Magnetic Field Using a Superconducting Magnet
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
Multiple Sink and Relay Placement in Wireless Sensor Networks
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
Social and dynamic graph-based scalable routing protocol in a DTN network
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
GRASP-BSMA: A fast algorithm for delay constrained multicast routing
  • 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
Mechanism of tweezers grasping system
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
Applications of the DM-GRASP heuristic: a survey
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 molecule DM-GRASP presented as nanopatterns to neurons regulates attachment and neurite growth {
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?