Expose C++ Sampling, Rounding and Volume Computation in Dingo
Akis Schinas
Dingo is a Python library built on top of the C++ library volesti, primarily designed for sampling from convex polytopes, especially within the...
Randomized SDP solver and improved preprocessing
Angelos Korakitis
The proposed project aims to continue the implementation of the semidefinite pro- gramming (SDP) solver in the VolEsti library and to integrate it...
Shake and Bake - Sampling from the boundary of convex polytopes
Iva Janković
The project aims to implement the Markov Chain Monte Carlo-based Shake and Bake algorithm for uniform sampling from the boundary of a convex polytope...
Counting Linear Extensions with Volume Computation and Applications in AI
Sophia Qian
This project develops an approximation algorithm for counting the linear extensions of a partial order by estimating the volume of its associated...
LoopLess Flux Sampling
Sotirios Touliopoulos
Genome-scale metabolic network reconstructions (GENREs) are comprehensive maps of all known metabolic reactions and associated genes in a given...
Sparse Polytope Sampling via Lazy Rounding
Vladimir Necula
The goal of this project is to enhance the Volesti library by implementing a sparse variant of the Billiard Walk sampling algorithm, which proposes...