Highly Influenced

# Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems

@article{Gomes2000HeavyTailedPI, title={Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems}, author={Carla P. Gomes and Bart Selman and Nuno Crato and Henry A. Kautz}, journal={Journal of Automated Reasoning}, year={2000}, volume={24}, pages={67-100} }

- Published 2000 in Journal of Automated Reasoning
DOI:10.1023/A:1006314320276

We study the runtime distributions of backtrack procedures for propositional satisfiability and constraint satisfaction. Such procedures often exhibit a large variability in performance. Our study reveals some intriguing properties of such distributions: They are often characterized by very long tails or “heavy tails”. We will show that these distributions are best characterized by a general class of distributions that can have infinite moments (i.e., an infinite mean, variance, etc.). Such… CONTINUE READING

Highly Influential

This paper has highly influenced 21 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS