Algorithms, Problems, Empirical Studies (APES)
Library Home || Full Table of Contents || Suggest a Link || Library Help
|Leeds and Strathclyde Universities, U.K.|
|An informal group of researchers interested in the understanding of algorithms and problems through empirical studies. Brian Hayes' article Can't Get No Satisfaction, introduces phase transition research in satisfiability, outlining a problem near the root of theoretical computer science called the satisfiability problem (SAT), the first member of the class known as NP- complete problems: computational tasks that seem intrinsically hard, but that no one has yet proved are necessarily difficult. This site offers online papers and reports; public domain software; research links, and a bibliography.|
|Resource Types:||Problems/Puzzles, Articles, Bibliographies, General Software Miscellaneous|
|Math Topics:||Operations Research, Artificial Intelligence|
© 1994- The Math Forum at NCTM. All rights reserved.