首页> 外文OA文献 >Solving Linear Arithmetic Constraints for User Interface Applications

【2h】

Solving Linear Arithmetic Constraints for User Interface Applications

机译：解决用户界面应用的线性算术约束

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Alan Borning; Kim Marriott; Peter Stuckey; Yi Xiao;
展开▼
作者单位

展开▼
年度 1997
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Solving linear optimization over arithmetic constraint formula [J] . Chen Li, Lyu Yinrun, Wang Chong, Journal of Global Optimization . 2017,第1期

机译：求解算术约束公式的线性优化
2. An Eﬃcient Approach for Solving Optimization over Linear Arithmetic Constraints [J] . Li Chen, Jing-Zheng Wu, Yin-Run Lv, 计算机科学技术学报（英文版） . 2016,第005期

机译：求解线性算术约束最优化的一种有效方法
3. SAT Modulo Linear Arithmetic for Solving Polynomial Constraints [J] . Cristina Borralleras, Salvador Lucas, Albert Oliveras, Journal of Automated Reasoning . 2012,第1期

机译：求解多项式约束的SAT模线性算法
4. Solving linear arithmetic constraints for user interface applications [C] . Alan Borning, Kim Marriott, Peter Stuckey, Annual ACM symposium on User interface software and technology;ACM symposium on User interface software and technology . 1997

机译：解决用户界面应用程序的线性算术约束
5. Determining Optimal Arithmetic Circuits for Solving Linear Optimization Problems with SAT Solvers [D] . Nain, Prerna. 2018

机译：确定用于使用SAT解算器解决线性优化问题的最佳算术电路
6. Book III: Scientific and Research Applications in Medical Care: User Views—A Mechanism for a User-Friendly Interface to a Large-Scale Database Management System [O] . A. Adamska, H.D. Covvey, D. Corneil, 1982

机译：第三本书：医疗领域的科研应用：用户视图—一种用于大型数据库管理系统的用户友好界面的机制
7. A Modular Geometric Constraint Solver for User Interface Applications [O] . Hiroshi Hosobe 2001

机译：用于用户界面应用程序的模块化几何约束求解器

Solving Linear Arithmetic Constraints for User Interface Applications

著录项

引文网络

相似文献

相关主题

期刊订阅