Inproceedings,

A Genetic Algorithm for Probabilistic SAT Problem.

, , and .
ICAISC, volume 3070 of Lecture Notes in Computer Science, page 462-467. Springer, (2004)

Meta data

Tags

Users

  • @dblp

Comments and Reviews