Solving Numerical Constraints

This publication has 161 references indexed in Scilit:

• On the Chvátal rank of polytopes in the 0/1 cube
  Discrete Applied Mathematics, 1999
• An Exponential Lower Bound for the Size of Monotone Real Circuits
  Journal of Computer and System Sciences, 1999
• Disjunctive programming: Properties of the convex hull of feasible points
  Discrete Applied Mathematics, 1998
• Note on shortest and nearest lattice vectors
  Information Processing Letters, 1997
• Avoiding slack variables in the solving of linear diophantine equations and inequations
  Theoretical Computer Science, 1997
• Buchberger's algorithm: The term rewriter's point of view
  Theoretical Computer Science, 1996
• Solving zero-dimensional algebraic systems
  Journal of Symbolic Computation, 1992
• The undecidability of the second-order unification problem
  Theoretical Computer Science, 1981
• The complexity of the equivalence problem for two characterizations of presburger sets
  Theoretical Computer Science, 1981
• Ueber die Theorie der algebraischen Formen
  Mathematische Annalen, 1890