Skip to Main Content

Advertisement

MIT Press Direct, home
header search
Search
Advanced Search
Skip Nav Destination

GASAT: A Genetic Local Search Algorithm for the Satisfiability Problem

Evolutionary Computation (2006) 14 (2): 223–253.
This article has been cited by the following articles in journals that are participating in Crossref Cited-by Linking.
Adaptive evolutionary algorithms for portfolio selection problems
  • Gianni Filograsso
  • Giacomo di Tollo
Computational Management Science (2023) 20 (1)
Quantum Algorithm for Variant Maximum Satisfiability
  • Abdirahman Alasow
  • Peter Jin
  • Marek Perkowski
Entropy (2022) 24 (11): 1615.
Experimental study on classical and metaheuristics algorithms for optimal nano-chitosan concentration selection in surface coating and food packaging
  • Ali Akbar Dadvar
  • Javad Vahidi
  • Zoleikha Hajizadeh
  • Ali Maleki
  • Mohammad Reza Bayati
Food Chemistry (2021) 335: 127681.
Enhancing Decomposition-Based Algorithms by Estimation of Distribution for Constrained Optimal Software Product Selection
  • Yi Xiang
  • Xiaowei Yang
  • Yuren Zhou
  • Han Huang
IEEE Transactions on Evolutionary Computation (2020) 24 (2): 245.
A multilevel synergy Thompson sampling hyper-heuristic for solving Max-SAT
  • Mourad Lassouaoui
  • Dalila Boughaci
  • Belaid Benhamou
Intelligent Decision Technologies (2019) 13 (2): 193.
Bee swarm optimization for solving the MAXSAT problem using prior knowledge
  • Youcef Djenouri
  • Zineb Habbas
  • Djamel Djenouri
  • Philippe Fournier-Viger
Soft Computing (2019) 23 (9): 3095.
MAX-SAT Problem using Hybrid Harmony Search Algorithm
  • Iyad Abu Doush
  • Amal Lutfi Quran
  • Mohammed Azmi Al-Betar
  • Mohammed A. Awadallah
Journal of Intelligent Systems (2018) 27 (4): 643.
Configuring Software Product Lines by Combining Many-Objective Optimization and SAT Solvers
  • Yi Xiang
  • Yuren Zhou
  • Zibin Zheng
  • Miqing Li
ACM Transactions on Software Engineering and Methodology (2017) 26 (4): 1.
Dynamic selection of evolutionary operators based on online learning and fitness landscape analysis
  • Pietro A. Consoli
  • Yi Mei
  • Leandro L. Minku
  • Xin Yao
Soft Computing (2016) 20 (10): 3889.
SATenstein: Automatically building local search SAT solvers from components
  • Ashiqur R. KhudaBukhsh
  • Lin Xu
  • Holger H. Hoos
  • Kevin Leyton-Brown
Artificial Intelligence (2016) 232: 20.
An experimental study of adaptive control for evolutionary algorithms
  • Giacomo di Tollo
  • Frédéric Lardeux
  • Jorge Maturana
  • Frédéric Saubion
Applied Soft Computing (2015) 35: 359.
A multilevel learning automata for MAX-SAT
  • Noureddine Bouhmala
International Journal of Machine Learning and Cybernetics (2015) 6 (6): 911.
A Variable Neighborhood Walksat-Based Algorithm for MAX-SAT Problems
  • Noureddine Bouhmala
The Scientific World Journal (2014) 2014: 1.
On Starting Population Selection for GSAT
  • Anna Gorbenko
  • Vladimir Popov
Applied Mechanics and Materials (2013) 365-366: 190.
Gases Brownian Motion Optimization: an Algorithm for Optimization (GBMO)
  • Marjan Abdechiri
  • Mohammad Reza Meybodi
  • Helena Bahrami
Applied Soft Computing (2013) 13 (5): 2932.
Adaptive memory-based local search for MAX-SAT
  • Zhipeng Lü
  • Jin-Kao Hao
Applied Soft Computing (2012) 12 (8): 2063.
Task-resource scheduling problem
  • Anna Gorbenko
  • Vladimir Popov
International Journal of Automation and Computing (2012) 9 (4): 429.
A Multilevel Memetic Algorithm for Large SAT-Encoded Problems
  • Noureddine Bouhmala
Evolutionary Computation (2012) 20 (4): 641.
Evolutionary and Swarm Computing for the Semantic Web
  • Christophe Gueret
  • Stefan Schlobach
  • Kathrin Dentler
  • Martijn Schut
  • Gusz Eiben
IEEE Computational Intelligence Magazine (2012) 7 (2): 16.
The analysis of expected fitness and success ratio of two heuristic optimizations on two bimodal MaxSAT problems
  • Xinsheng Lai
  • Yuren Zhou
Journal of Global Optimization (2012) 54 (4): 745.
HYBRID INCREMENTAL ALGORITHMS FOR BOOLEAN SATISFIABILITY
  • FLORIAN LETOMBE
  • JOAO MARQUES-SILVA
International Journal on Artificial Intelligence Tools (2012) 21 (06): 1250025.
A genetic local search algorithm with a threshold accepting mechanism for solving the runway dependent aircraft landing problem
  • Yu-Hsin Liu
Optimization Letters (2011) 5 (2): 229.
Autonomous operator management for evolutionary algorithms
  • Jorge Maturana
  • Frédéric Lardeux
  • Frédéric Saubion
Journal of Heuristics (2010) 16 (6): 881.
Improving GASAT by replacing tabu search by DLM and enhancing the best members
  • Yousef Kilani
Artificial Intelligence Review (2010) 33 (1-2): 41.
Comparing the performance of the genetic and local search algorithms for solving the satisfiability problems
  • Yousef Kilani
Applied Soft Computing (2010) 10 (1): 198.
A comparative runtime analysis of heuristic algorithms for satisfiability problems
  • Yuren Zhou
  • Jun He
  • Qing Nie
Artificial Intelligence (2009) 173 (2): 240.
Scatter Search and Genetic Algorithms for MAX-SAT Problems
  • Dalila Boughaci
  • Belaïd Benhamou
  • Habiba Drias
Journal of Mathematical Modelling and Algorithms (2008) 7 (2): 101.
Automated Discovery of Local Search Heuristics for Satisfiability Testing
  • Alex S. Fukunaga
Evolutionary Computation (2008) 16 (1): 31.
SYSTEMATIC VERSUS LOCAL SEARCH AND GA TECHNIQUES FOR INCREMENTAL SAT
  • MALEK MOUHOUB
International Journal of Computational Intelligence and Applications (2008) 07 (01): 77.

Advertisement

  • Online ISSN 1530-9304
  • Print ISSN 1063-6560
A product of The MIT Press
Newsletter Sign Up

MIT Press Direct

Information

MIT Press

Contact Us

© 2023 The MIT Press
Close Modal
This Feature Is Available To Subscribers Only

or Create an Account

Close Modal
Close Modal
This site uses cookies. By continuing to use our website, you are agreeing to our privacy policy. No content on this site may be used to train artificial intelligence systems without permission in writing from the MIT Press.
Accept