Amanote Research
Register
Sign In
Grasp—A New Search Algorithm for Satisfiability
doi 10.1007/978-1-4615-0292-0_7
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2003
Authors
João P. Marques Silva
Karem A. Sakallah
Publisher
Springer US
Related search
A Hybrid Algorithm Tabu Search - GRASP for Wounded Evacuation in Disaster Response.
RAIRO - Operations Research
Management Science
Computer Science Applications
Operations Research
Theoretical Computer Science
CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract)
A New Search Algorithm for Discrete Stochastic Optimization
Smten With Satisfiability-Based Search
New Algorithms for Exact Satisfiability
BRICS Report Series
A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems
International Journal of Computational Intelligence Systems
Computational Mathematics
Computer Science
A Genetic Algorithm With Expansion Operator for the 3-Satisfiability Problem
Advanced Studies in Theoretical Physics
Mathematical Physics
Physics
Astronomy
A New Effective Search Algorithm for C60Rn Structure: Cones Product Strategy
Journal of Computer Chemistry, Japan
A New Differential Mutation Based Adaptive Harmony Search Algorithm for Global Optimization
Applied Sciences (Switzerland)
Instrumentation
Materials Science
Fluid Flow
Engineering
Computer Science Applications
Process Chemistry
Transfer Processes
Technology
