NUMERICA简介
摘要
文献计量学和引文
文献计量学
文章指标
其他指标
引文
引用人
穹顶F 纽梅尔A (2010) 二次约束的约束传播 约束条件 2007年10月10日/10601-009-9076-1 15 :3 (404-429) 在线发布日期:2010年7月1日 马希尔M (2009) 扩展CSP的本地一致性 理论计算机科学 2016年10月10日/j.tcs.2009.07.042 410 :46 (4769-4783) 在线发布日期:2009年11月1日 华莱士M (2006) 约束规划中的混合算法 约束求解和约束逻辑编程会议录第11届ERCIM约束最新进展国际年会 10.5555/1776496.1776498 (1-32) 在线发布日期:2006年6月26日 兹威克大学 Eppstein D公司 (2002) 最佳逼近结果的计算机辅助证明 第十三届ACM-SIAM离散算法年会论文集 10.5555/545381.545448 (496-505) 在线发布日期:2002年1月6日 Deville Y公司 詹森·M Van Hentenryck P公司 (2002) 常微分方程的一致性技巧 约束条件 10.1023/A:1020573518783 7 :3/4 (289-315) 在线发布日期:2002年7月1日