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)

Related topics

Related topics

2 relations
Boolean satisfiability problemDPLL algorithm

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Adaptive and multi-mining versions of the DM-GRASP hybrid metaheuristic
Metaheuristics represent an important class of techniques to solve, approximately, hard combinatorial optimization problems for… 
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… 
2012
2012
GRASP-BSMA: A fast algorithm for delay constrained multicast routing
  • G. 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… 
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… 
2011
2011
A hybrid ACO-GRASP algorithm for clustering analysis
Cluster analysis is an important tool for data exploration and it has been applied in a wide variety of fields like engineering… 
2009
2009
Multiple phase neighborhood Search—GRASP based on Lagrangean relaxation, random backtracking Lin–Kernighan and path relinking for the TSP
Abstract In this paper, a new modified version of Greedy Randomized Adaptive Search Procedure (GRASP), called Multiple Phase… 
2009
2009
A hybrid data mining metaheuristic for the p‐median problem
Metaheuristics represent an important class of techniques to solve, approximately, hard combinatorial optimization problems for… 
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… 
2007
2007
A grasp algorithm for m-machine flowshop scheduling problem with bicriteria of makespan and maximum tardiness
In this paper we address the problem of minimizing the weighted sum of makespan and maximum tardiness in an m-machine flow shop… 
Highly Cited
2000
Highly Cited
2000
Computing 3-D optimal form-closure grasps
We address the problem of computing optimal fingertip locations yielding n-finger form-closure grasps of polyhedral objects… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)