Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Abstract: The permutation flow shop scheduling problem has been completely concentrated on in late decades, both from single… Expand
  • figure 1
  • figure 2
  • table I
  • table II
  • table IV
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… Expand
  • 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… Expand
  • table IV
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2012
2012
  • Gang Feng
  • IEEE International Conference on Communications…
  • 2012
  • Corpus ID: 5183963
Constrained minimum Steiner tree (CMST) problem is a key issue in multicast routing with quality of service (QoS) support. Many… Expand
  • figure 1
  • table I
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2011
2011
Metaheuristics represent an important class of techniques to solve, approximately, hard combinatorial optimization problems for… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2011
2011
Cluster analysis is an important tool for data exploration and it has been applied in a wide variety of fields like engineering… Expand
  • table 2
  • table 3
  • table 4
  • table 5
  • table 6
Is this relevant?
Highly Cited
2008
Highly Cited
2008
The multistart clustering global optimization method called GLOBAL has been introduced in the 1980s for bound constrained global… Expand
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
2007
2007
In this paper we address the problem of minimizing the weighted sum of makespan and maximum tardiness in an m-machine flow shop… Expand
Is this relevant?
2007
2007
Adhesion and neurite formation of neurons and neuroblastoma cells critically depends on the lateral spacing of the cell adhesion… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 4
  • figure 3
Is this relevant?
2000
2000
We address the problem of computing optimal fingertip locations yielding n-finger form-closure grasps of polyhedral objects… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?