Variable-Selection Heuristics in Local Search for Satisfiability Testing. Fukunaga, A. In National Conference on Artificial Intelligence (AAAI 1997), pages 275-280, Providence, RI, 1997.
bibtex   
@inproceedings{fukunaga-AAAI-1997,
  author = {A. Fukunaga},
  title = {Variable-Selection Heuristics in Local Search for Satisfiability Testing},
  booktitle = {National Conference on Artificial Intelligence (AAAI 1997)},
  year = {1997},
  pages = {275-280},
  address = {Providence, RI},
}

Downloads: 0