发明申请
- 专利标题： Computer method for solving sparse linear constraints
- 专利标题（中）： 用于求解稀疏线性约束的计算机方法
-
申请号： US11455308申请日： 2006-06-15
-
公开(公告)号： US20070294196A1公开(公告)日： 2007-12-20
- 发明人: Madanlal S. Musuvathi , Shuvendu K. Lahiri
- 申请人： Madanlal S. Musuvathi , Shuvendu K. Lahiri
- 申请人地址： US WA Redmond
- 专利权人： Microsoft Corporation
- 当前专利权人： Microsoft Corporation
- 当前专利权人地址： US WA Redmond
- 主分类号： G06F15/18
- IPC分类号： G06F15/18
摘要：
A computer implemented method for solving linear arithmetic constraints that combines a solver for difference constraints with a general linear arithmetic constraint solver. When used to solve sparse linear arithmetic constraints, the time and space complexity of the process is determined by the difference constraint component.
公开/授权文献
信息查询
