HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:polyhedra

Publications
The Polyhedral Structure and Complexity of Multistage Stochastic Linear Problem with General Cost Distribution
Maël Forcier, Stéphane Gaubert and Vincent Leclère
EasyChair Preprint 4113
Implementation of Polyhedral Operations in CORA 2024
Mark Wetzlinger, Viktor Kotsev, Adrian Kulmburg and Matthias Althoff
In:Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
Exploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools
Jesse Alama
In:IWIL 2010. The 8th International Workshop on the Implementation of Logics
Copyright © 2012-2025 easychair.org. All rights reserved.