Solving 3-SAT by GAs adapting constraint weights
- 22 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Self-adaptivity for constraint satisfaction: learning penalty functionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Genetic Algorithms + Data Structures = Evolution ProgramsPublished by Springer Nature ,1996
- A Clausal Genetic Representation and its Evolutionary Procedures for Satisfiability ProblemsPublished by Springer Nature ,1995
- Genetic algorithms with multi-parent recombinationPublished by Springer Nature ,1994
- A logical framework for depiction and image interpretationArtificial Intelligence, 1989
- The complexity of theorem-proving proceduresPublished by Association for Computing Machinery (ACM) ,1971
- A Computing Procedure for Quantification TheoryJournal of the ACM, 1960