A Genetic Algorithm for Satisfiability Problem in a Probabilistic Logic: A First Report
2001
This paper introduces a genetic algorithm for satisfiability problem in a probabilistic logic. A local search based improvement procedure is integrated in the algorithm. A test methodology is presented and some results are given. The results indicate that this approach could work well Some directions for further research are described.
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
21
References
8
Citations
NaN
KQI