Search Results - "probabilistic analysis of algorithms"

Probability and Algorithms. by Staff, National Research Council

Table of Contents: “…Introduction""; ""1.1 PROBABILISTIC ALGORITHMS""; ""1.1.1 Everyday Examples""; ""1.1.2 Hashing""; ""1.1.3 Geometry""; ""1.1.4 Competitive Analysis""; ""1.1.5 Random Constructions""; ""1.1.6 Testing Equality and Faith""; ""1.2 PROBABILISTIC ANALYSIS OF ALGORITHMS""; ""1.2.1 Sample Analyses: The Assignment Problem""; ""1.2.2 Quick Lessons from Quicksort""; ""1.3 HOW TO USE THIS SURVEY""; ""REFERENCES""; ""2. …”
Full text (MFA users only)

Handbook of Satisfiability : Handbook of Satisfiability. by Biere, A.

Table of Contents: “…1.16 The complexity or resolution1.17 Refinement of Resolution-Based SAT Solvers; 1.18 Upper bounds; 1.19 Classes of easy expressions; 1.20 Binary Decision Diagrams; 1.21 Probabilistic analysis: SAT algorithms; 1.22 Probabilistic analysis: thresholds; 1.23 Stochastic Local Search; 1.24 Maximum Satisfiability; 1.25 Nonlinear formulations; 1.26 Pseudo-Boolean Forms; 1.27 Quantified Boolean formulas; References; Chapter 2. …”
Full text (MFA users only)