papers
Publications (6)
cs.MS2017
mplrs: A scalable parallel vertex/facet enumeration code
David Avis, Charles Jordan
cs.DC2019
mts: A light framework for parallelizing tree search codes
David Avis, Charles Jordan
cs.LG2016
Machine Learning with Guarantees using Descriptive Complexity and SMT Solvers
Charles Jordan, Åukasz Kaiser
math.CO2018
Parallel Enumeration of Triangulations
Charles Jordan, Michael Joswig, Lars Kastner
cs.DC2016
A parallel framework for reverse search using mts
David Avis, Charles Jordan
cs.MS2016
Comparative computational results for some vertex and facet enumeration codes
David Avis, Charles Jordan