ML Anthology

Local Search for Statistical Counting

Olivier Bailleux
AAAI 1998 pp. 386-391
/aaai/1998/bailleux1998aaai-local/

Abstract

In this paper, statistical counting is introduced in the context of stochastic local search. From a sample of trajectories by independent local search computations, it is shown that interesting statistical information can be actually extracted about the search space, most notably an unbiased estimate of the number of solutions. Computational results for random #SAT instances are provided.

PDF AAAI Semantic Scholar

Cite

Text

Bailleux. "Local Search for Statistical Counting." AAAI Conference on Artificial Intelligence, 1998.

Markdown

[Bailleux. "Local Search for Statistical Counting." AAAI Conference on Artificial Intelligence, 1998.](https://mlanthology.org/aaai/1998/bailleux1998aaai-local/)

BibTeX

@inproceedings{bailleux1998aaai-local,
  title     = {{Local Search for Statistical Counting}},
  author    = {Bailleux, Olivier},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1998},
  pages     = {386-391},
  url       = {https://mlanthology.org/aaai/1998/bailleux1998aaai-local/}
}