An adaptive evolutionary algorithm for the satisfiability problem

Authors:
Claudio Rossi;Elena Marchiori;Joost N. Kok
Affiliations:
Dept. of Computer Science, Ca' Foscari Univ. of Venice, Via Torino 155, 31073 Mestre-Venezia, Italy;Faculty of Sciences, Free University Amsterdam, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands;LIACS, Leiden University, P.O. Box 9512, 2300 RA Leiden, The Netherlands
Venue:
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Year:
2000

Citing 3
Cited 14

A simple heuristic based genetic algorithm for the maximum clique problem

SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Improving the Performance of Evolutionary Algorithms for the Satisfiability Problem by Refining Functions

PPSN V Proceedings of the 5th International Conference on Parallel Problem Solving from Nature
A Superior Evolutionary Algorithm for 3-SAT

EP '98 Proceedings of the 7th International Conference on Evolutionary Programming VII

Evolutionary algorithms for the satisfiability problem

Evolutionary Computation
Adaptive Fitness Functions for the Satisfiability Problem

PPSN VI Proceedings of the 6th International Conference on Parallel Problem Solving from Nature
Evolutionary local search of fuzzy rules through a novel neuro-fuzzy encoding method

Evolutionary Computation
PFGASAT" A Genetic SAT Solver Combining Partitioning and Fuzzy Strategies

COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
GASAT: a genetic local search algorithm for the satisfiability problem

Evolutionary Computation
Evolutionary Genetic Algorithms in a Constraint Satisfaction Problem: Puzzle Eternity II

IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part I: Bio-Inspired Systems: Computational and Ambient Intelligence
Evolutionary techniques in a constraint satisfaction problem: puzzle eternity II

CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
Hybridizing Evolutionary Negative Selection Algorithm and Local Search for Large-Scale Satisfiability Problems

ISICA '09 Proceedings of the 4th International Symposium on Advances in Computation and Intelligence
Inc*: an incremental approach for improving local search heuristics

EvoCOP'08 Proceedings of the 8th European conference on Evolutionary computation in combinatorial optimization
Generating SAT local-search heuristics using a GP hyper-heuristic framework

EA'07 Proceedings of the Evolution artificielle, 8th international conference on Artificial evolution
Randomized constraint solvers: a comparative study

Innovations in Systems and Software Engineering
Autonomous operator management for evolutionary algorithms

Journal of Heuristics
An evolutionary local search algorithm for the satisfiability problem

TAINN'05 Proceedings of the 14th Turkish conference on Artificial Intelligence and Neural Networks
Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms

Proceedings of the twelfth workshop on Foundations of genetic algorithms XII

Quantified Score

Hi-index	0.00

An adaptive evolutionary algorithm for the satisfiability problem

Quantified Score

Visualization

Abstract