scientific article; zbMATH DE number 1444332
From MaRDI portal
Publication:4953368
Recommendations
- Generalised and quotient models for random and/or~trees and application to satisfiability
- scientific article; zbMATH DE number 4104976
- Validation of Stochastic Systems
- Algorithms, random tree models and combinatorial objects
- The complexity of problems on probabilistic, nondeterministic, and alternating decision trees
- A probabilistic analysis of some tree algorithms
- Random Trees and the Analysis of Branch and Bound Procedures
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- Simulating probabilistic by deterministic algebraic computation trees
- Probabilistic parameterized polynomial time
Cited in
(6)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4953368)