BibTeX
@MISC{Kreinovich96s.maslov's,
author = {V. Kreinovich},
title = {S. Maslov's Iterative Method: 15 Years Later},
year = {1996}
}
Share
 |
 |
 |
 |
||
OpenURL
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.
