S. Maslov's iterative method: 15 years later Freedom of Choice, Neural Networks, Numerical Optimization, Uncertainty Reasoning, and Chemical Computing

V. Kreinovich

IBP-Laforia 1996/23: Rapport de Recherche Laforia / Laforia research reports
16 pages - Octobre/October 1996 - Document en anglais.

Titre / Title: S. Maslov's iterative method: 15 years later Freedom of Choice, Neural Networks, Numerical Optimization, Uncertainty Reasoning, and Chemical Computing

Résumé : En 1981, S. Maslov a proposé une nouvelle méthode itérative pour résoudre des problèmes de satisfiabilité propositionnelle. Les résultats des années 1981-87 relatifs à cette méthode sont décrits dans le présent livre. Dans ce chapitre, on rappelle brièvement les origines de la méthode de Maslov et on indique de nouveaux résultats et idées qui s'y rapportent.

Abstract : In 1981, S. Maslov has proposed a new iterative method for solving propositional satisfiability problems. The 1981--87 results related to this method were described in the present book. In this chapter, we briefly recall the origins of Maslov's method, and describe further results and ideas related to this method.

Publications internes Laforia 1996 / Laforia research reports 1996