An adaptive evolutionary algorithm for the satisfiability problem
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
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
An Immunological Approach to Combinatorial Optimization Problems
IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
A Genetic Algorithm for Satisfiability Problem in a Probabilistic Logic: A First Report
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Adapting the Fitness Function in GP for Data Mining
Proceedings of the Second European Workshop on Genetic Programming
The Effects of Partial Restarts in Evolutionary Search
Selected Papers from the 5th European Conference on Artificial Evolution
A Genetic-Based Approach for Satisfiability Problems
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Advanced models of cellular genetic algorithms evaluated on SAT
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
Quantum cooperative search algorithm for 3-SAT
Journal of Computer and System Sciences
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
ISICA '09 Proceedings of the 4th International Symposium on Advances in Computation and Intelligence
Randomized constraint solvers: a comparative study
Innovations in Systems and Software Engineering
CORAL: solving complex constraints for symbolic pathfinder
NFM'11 Proceedings of the Third international conference on NASA Formal methods
A clonal selection algorithm for coloring, hitting set and satisfiability problems
WIRN'05 Proceedings of the 16th Italian conference on Neural Nets
ICNC'05 Proceedings of the First international conference on Advances in Natural Computation - Volume Part III
Genetic algorithm against cancer
WILF'05 Proceedings of the 6th international conference on Fuzzy Logic and Applications
Hi-index | 0.00 |