An Auto-validating Rejection Sampler for Differentiable Arithmetical Expressions: Posterior Sampling of Phylogenetic Quartets

Raazesh Sainudiin. An Auto-validating Rejection Sampler for Differentiable Arithmetical Expressions: Posterior Sampling of Phylogenetic Quartets. In Martine Ceberio, Vladik Kreinovich, editors, Constraint Programming and Decision Making. Volume 539 of Studies in Computational Intelligence, pages 143-152, Springer, 2014. [doi]

Abstract

Abstract is missing.