About DML-CZ | FAQ | Conditions of Use | Math Archives | Contact Us
  Previous |  Up |  Next

Article

First Page Preview
Kramosil, Ivan
On extremum-searching approximate probabilistic algorithms. (English). Kybernetika, vol. 19 (1983), issue 5, pp. 365-373
MSC: 03D15, 03D20, 41A99, 65C05, 65D99, 68Q25 | MR 729029 | Zbl 0543.03029
References:
[1] A. V. Aho J. E. Hopcroft, J. D. Ullman: The Design and Analysis of Computer Algorithms. Reading, Addison-Wesley, London 1974 (Russian translation: Mir, Moscow 1978). MR 0413592
[2] M. O. Rabin: Probabilistic algorithms. In: Proceedings of the Symposium 1976, Carnegie-Mellon Univ., Pittsburgh, Academic Press, New York 1976, pp. 21 - 39. MR 0464678 | Zbl 0384.60001
[3] I. Kramosil: Statistical verification procedures for propositional calculus. Computers and Artificial Intelligence 2 (1983), 3, 235-258. Zbl 0529.68066
Partner of
EuDML logo