Rigorous verification of feasibility

@article{Domes2015RigorousVO,
  title={Rigorous verification of feasibility},
  author={Ferenc Domes and Arnold Neumaier},
  journal={Journal of Global Optimization},
  year={2015},
  volume={61},
  pages={255-278}
}
This paper considers the problem of finding and verifying feasible points for constraint satisfaction problems (CSPs), including those with uncertain coefficients. The main part is devoted to the problem of finding a narrow box around an approximately feasible solution for which it can be rigorously and automatically proved that it contains a feasible solution. Some examples demonstrate difficulties when attempting verification. We review some existing methods and present a new method for… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-7 OF 7 CITATIONS

References

Publications referenced by this paper.
SHOWING 1-10 OF 24 REFERENCES

Brouwer theorem

V. I. Sobolev
  • In M. Hazewinkel, editor, Encyclopaedia of Mathematics. Springer,
  • 2001
VIEW 2 EXCERPTS
HIGHLY INFLUENTIAL

Constraint aggregation in global optimization

F. Domes, A. Neumaier
  • in preparation,
  • 2013
VIEW 1 EXCERPT