Advanced Search
    Ji Xiaohui, Zhang Jian. An Efficient and Complete Method for Solving Mixed Constraints[J]. Journal of Computer Research and Development, 2006, 43(3): 551-556.
    Citation: Ji Xiaohui, Zhang Jian. An Efficient and Complete Method for Solving Mixed Constraints[J]. Journal of Computer Research and Development, 2006, 43(3): 551-556.

    An Efficient and Complete Method for Solving Mixed Constraints

    • Constraints involving Boolean and numerical variables are used widely, but are difficult to solve especially when they contain nonlinear numerical expressions. Many existing methods for solving such constraints are incomplete. A new method is presented in this paper to solve Boolean combinations of the nonlinear numerical constraints completely. This method combines the numerical methods and interval analysis together. It has been implemented in a prototype tool, and some experiments are made. The experimental results show that this method is effective, efficient, and complete.
    • loading

    Catalog

      Turn off MathJax
      Article Contents

      /

      DownLoad:  Full-Size Img  PowerPoint
      Return
      Return