Full Waveform Inversion based on Genetic Local Search Algorithm with Hybrid-Grid Scheme

2019 ◽  
Author(s):  
Masaki Hamamoto ◽  
Abdul Rahim Md Arshad ◽  
Deva Prasad Ghosh
Keyword(s):  
Local Search ◽  
Search Algorithm ◽  
Waveform Inversion ◽  
Full Waveform Inversion ◽  
Local Search Algorithm ◽  
Full Waveform ◽  
Grid Scheme ◽  
Hybrid Grid ◽  
Genetic Local Search

scholarly journals GASAT: A Genetic Local Search Algorithm for the Satisfiability Problem

2006 ◽  
Vol 14 (2) ◽  
pp. 223-253 ◽  
Author(s):  
Frédéric Lardeux ◽  
Frédéric Saubion ◽  
Jin-Kao Hao
Keyword(s):  
Tabu Search ◽  
Local Search ◽  
Hybrid Algorithm ◽  
State Of The Art ◽  
Search Algorithm ◽  
Satisfiability Problem ◽  
Local Search Algorithm ◽  
Overall Performance ◽  
Genetic Local Search ◽  
Search Stage

This paper presents GASAT, a hybrid algorithm for the satisfiability problem (SAT). The main feature of GASAT is that it includes a recombination stage based on a specific crossover and a tabu search stage. We have conducted experiments to evaluate the different components of GASAT and to compare its overall performance with state-of-the-art SAT algorithms. These experiments show that GASAT provides very competitive results.

Sign in / Sign up

Export Citation Format

Share Document