Advance Search
    Zhou Tianshan, Liu Chunnian, Li Jingyue, Zhong Ningyan, Miao Zhanlu. Solving Nonlinear Constraints in BPU_CLP_C Compiler[J]. Journal of Beijing University of Technology, 2000, 26(3): 104-107.
    Citation: Zhou Tianshan, Liu Chunnian, Li Jingyue, Zhong Ningyan, Miao Zhanlu. Solving Nonlinear Constraints in BPU_CLP_C Compiler[J]. Journal of Beijing University of Technology, 2000, 26(3): 104-107.
    shu

    Solving Nonlinear Constraints in BPU_CLP_C Compiler

      Abstract
    • The data structure and interpretation for the extended WAM code of the BPU_CLP_C compiler are discussed, which is highly optimized.The system can solve nonlinear constraints using interval arithmetic and constraint propagation.
      • FullText(HTML)
    • loading
      • References (0)
      • Relative Articles
    • Supplements (0)

    Catalog

      Turn off MathJax
      Article Contents

      /

      DownLoad:  Full-Size Img  PowerPoint
      Return
      Return