Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems

• 1 January 2000
• journal article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 24  (1/2) , 67-100
• https://doi.org/10.1023/a:1006314320276

Abstract

Keywords

• TAILS
• BEHAVIOR
• DISTRIBUTIONS
• SATISFACTION
• CONSTRAINT
• INFINITE
• PROCEDURES
• SATISFIABILITY
• HEAVY
• DIVERSE