cdd

swMATH114MaRDI QIDQ12884FDOQ12884

Author name not available (Why is that?)

Official website: http://www.inf.ethz.ch/personal/fukudak/cdd_home/

Cited In (only showing first 100 items - show all)

• Polyhedral methods for space curves exploiting symmetry applied to the cyclic \(n\)-roots problem
• Polytope volume by descent in the face lattice and applications in social choice
• Hybrid Systems: Computation and Control
• Cutting planes for RLT relaxations of mixed 0-1 polynomial programs
• Convex hulls, oracles, and homology
• Corrigendum to: ``The explicit linear quadratic regulator for constrained systems
• Small Cones of Oriented Semi-Metrics
• Optimal complexity reduction of polyhedral piecewise affine systems
• On the enumeration of certain weighted graphs
• Output-sensitive cell enumeration in hyperplane arrangements
• Polyhedral and algebraic methods in computational geometry
• Title not available (Why is that?)
• Sparsity in sums of squares of polynomials
• Solving the fixed rank convex quadratic maximization in binary variables by a parallel zonotope construction algorithm
• Reconstruction of multi-soliton interactions using crest data for \((2+1)\)-dimensional KdV type equations
• Linear inequalities among graph invariants: Using GraPHedron to uncover optimal relationships
• A generalized sewing construction for polytopes
• Estimating the number of vertices of a polyhedron
• Likelihood inference in exponential families and directions of recession
• On the linear description of the 3-cycle polytope
• Monomial subrings in arbitrary dimension
• A geometric view on learning Bayesian network structures
• A portable parallel implementation of the \textit{lrs} vertex enumeration code
• Multiplicative principal-minor inequalities for totally nonnegative matrices
• On generators of bounded ratios of minors for totally positive matrices
• Minimal ellipsoid circumscribing a polytope defined by a system of linear inequalities
• Enumerating a subset of the integer points inside a Minkowski sum
• Vertex adjacencies in the set covering polyhedron
• Classification of eight-dimensional perfect forms
• Computing the integer hull of convex polyhedral sets
• The contact polytope of the Leech lattice
• Counterexample-guided predicate abstraction of hybrid systems
• Branch-and-cut algorithms for the bilinear matrix inequality eigenvalue problem
• Local cuts and two-period convex hull closures for big-bucket lot-sizing problems
• An output-sensitive algorithm for computing projections of resultant polytopes
• A finite loop space not rationally equivalent to a compact Lie group
• Exact algorithms and software in optimization and polyhedral computation
• A new algorithm for solving convex parametric quadratic programs based on graphical derivatives of solution mappings
• Compact cellular algebras and permutation groups
• A Petri net based approach for multi-robot path planning
• A generalization of the integer linear infeasibility problem
• Complexity and algorithms for computing Voronoi cells of lattices
• Zigzag and central circuit structure of \((\{1,2,3\}, 6)\)-spheres
• An improved algorithm for combinatorial multi-parametric quadratic programming
• The tropical totally positive Grassmannians
• Logic-Based Solution Methods for Optimal Control of Hybrid Systems
• Invalidation of the structure of genetic network dynamics: a geometric approach
• Quantum violation of the suppes-zanotti inequalities and ``contextuality
• Enhancements on the hyperplanes arrangements in mixed-integer programming techniques
• Bézier control points method to solve constrained quadratic optimal control of time varying linear systems
• On convex relaxations of quadrilinear terms
• The polymake interface in Singular and its applications
• Geometric algorithm for multiparametric linear programming
• Suboptimal explicit receding horizon control via approximate multiparametric quadratic pro\-gramming
• Homothetic tube model predictive control
• Ehrhart polynomials of matroid polytopes and polymatroids
• How good are convex hull algorithms?
• Alternatives for testing total dual integrality
• Computing Tropical Curves via Homotopy Continuation
• The Hypermetric Cone on Seven Vertices
• A counterexample to the dominating set conjecture
• Optimal control of constrained piecewise affine systems.
• Title not available (Why is that?)
• Linear criterion for testing the extremity of an exact game based on its finest min-representation
• SReachTools: A MATLAB stochastic reachability toolbox
• The joint weight enumerator of an LCD code and its dual
• Finding MEMo: minimum sets of elementary flux modes
• Deciding polyhedrality of spectrahedra
• Toric Ext and Tor in \texttt{polymake} and \textbf{Singular}: the two-dimensional case and beyond
• Optimal patchings for consecutive ones matrices
• Building Representative Matched Samples With Multi-Valued Treatments in Large Observational Studies
• Enumeration of \(4 \times 4\) magic squares
• relaxation_complexity
• Algorithms and programs for calculating the roots of polynomial of one or two variables
• Combinatorial results on the fitting problems of the multivariate gamma distribution introduced by Prékopa and Szántai
• Lyapunov stability for piecewise affine systems via cone-copositivity
• Sum-of-squares methods for controlled invariant sets with applications to model-predictive control
• A multi-objective supplier selection framework based on user-preferences
• On the binary solitaire cone
• Memory cost for simulating all quantum correlations from the Peres-Mermin scenario
• The lowest-degree polynomial with nonnegative coefficients divisible by the \(n\)-th cyclotomic polynomial
• Towards using the chordal graph polytope in learning decomposable models
• PolyhedralSets
• Geometrical realisations of the simple permutoassociahedron by Minkowski sums
• Traversing symmetric polyhedral fans
• Computing with an algebraic-perturbation variant of Barvinok's algorithm
• The space of logically consistent classical processes without causal order
• The gfanlib interface in Singular and its applications
• SOSTOOLS and Its Control Applications
• Effective lattice point counting in rational convex polytopes
• Voronoi polytopes for polyhedral norms on lattices
• Prospective control in an enhanced manpower planning model
• The explicit linear quadratic regulator for constrained systems
• Bayesian network structure learning with integer programming: polytopes, facets and complexity
• The \(4\times 4\) minors of a \(5\times n\) matrix are a tropical basis
• Polymake and Lattice Polytopes
• Facet defining inequalities among graph invariants: The system graphedron
• Hybrid Systems: Computation and Control
• Extreme lower probabilities
• Small cones of \(m\)-hemimetrics

This page was built for software: cdd