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

Related topics

Related topics

2 relations
Boolean satisfiability problemDPLL algorithm

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Hybridisation of decomposition and GRASP for combinatorial multiobjective optimisation
This paper proposes an idea of using heuristic local search procedures specific for single-objective optimisation in… 
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
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… 
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… 
2011
2011
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… 
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… 
Highly Cited
2008
Highly Cited
2008
The GLOBAL optimization method revisited
The multistart clustering global optimization method called GLOBAL has been introduced in the 1980s for bound constrained global… 
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, Terms of Service, and Dataset License