Evolutionary Computing for the Satisfiability Problem.
Jin-Kao HaoFrédéric LardeuxFrédéric SaubionPublished in: EvoWorkshops (2003)
Keyphrases
- evolutionary computing
- satisfiability problem
- genetic programming
- evolutionary algorithm
- np complete
- computational intelligence
- genetic algorithm
- soft computing
- temporal logic
- fuzzy systems
- multi objective
- search algorithm
- evolutionary computation
- phase transition
- swarm intelligence
- evolutionary fuzzy
- particle swarm optimization pso
- adaptive control
- sat problem
- particle swarm optimization
- fuzzy logic
- stochastic local search algorithms
- artificial immune system
- stochastic local search
- max sat
- sat instances
- artificial neural networks
- fitness function
- data mining
- machine learning
- rule base
- multilayer perceptron
- model checking