Accession Number : ADA325947

Title :   Workshop on Satisfiability Siena, Italy on 28 April - 3 May 1996,

Corporate Author : CINCINNATI UNIV OH

Personal Author(s) : Franco, John ; Gallo, Giogio ; Buening, Hans K. ; Speckenmeyer, Ewald ; Spera, Cosimo

PDF Url : ADA325947

Report Date : MAY 1996

Pagination or Media Count : 35

Abstract : Partial contents include : (1) 0-1 Threshold for random constant-width formulas; (2) Lagrangian methods; (3) Probabilistic analysis of Davis-Putnam variants; (4) Fixed-parameter-tractable hierarchies of SAT classes; (5) Upper bounds on the complexity of 3-satisfiability; (6) Resolution proof length; (7) Polynomial time solvable subclasses of satisfiability; (8) Partially defined Boolean functions, and (9) Multispace search.

Descriptors :   *MATHEMATICAL MODELS, *PROBABILITY DISTRIBUTION FUNCTIONS, *HEURISTIC METHODS, ALGORITHMS, PARAMETRIC ANALYSIS, RANDOM VARIABLES, POLYNOMIALS, APPLIED MATHEMATICS, SPECIAL FUNCTIONS(MATHEMATICS), WORKSHOPS, LAGRANGIAN FUNCTIONS, BOOLEAN ALGEBRA, NORMALITY.

Subject Categories : Operations Research
      Statistics and Probability

Distribution Statement : APPROVED FOR PUBLIC RELEASE