库卡

我们描述了一个面向对象的交互式约束求解工具。它有一个简单而强大的基于度量空间模型的约束操作接口。在这个模型中,与约束求解器的交互可以通过三种方式发生:可以添加约束,可以删除约束,或者可以建议指定的“编辑”变量的值。目前,QOCA支持线性算术约束和两种不同的度量:欧几里德距离的平方和曼哈顿距离。它提供了三个求解器,它们都依赖于保持约束的解算形式,并依赖于新的算法在直接操作过程中有效地解决约束。我们对QOCA进行了全面的评估,包括接口设计和约束求解的速度。


zbMATH中的参考文献(引用于,1标准件)

显示第1到第20个结果,共29个。
按年份排序(引用)
  1. Jamil,Noreen;Mirza,Farhaan;Naeem,M.Asif;Baghaei,Nilufar:迭代正交投影法的精化(2018)
  2. Jamil,Noreen;Müller,Johannes;Naeem,M.Asif;Lutteroth,Christof;Weber,Gerald:非方矩阵和软约束的扩展线性松弛(2016)
  3. Jamil,Noreen;Chen,Xuemei;Cloninger,Alexander:Hildreth算法及其在用户界面布局软约束中的应用(2015)
  4. Schwarzentruber,François:从区域连接演算规范绘制交互式欧拉图(2015)
  5. Gajos,Krzysztof Z.;Weld,Daniel S.;Wobbrock,Jacob O.:使用Suple自动生成个性化用户界面(2010)ioport公司
  6. Semenov,V.A.;Dragalov,K.V.;Ilyin,D.V.:论面向对象约束编程的补充原则(2010)ioport公司
  7. Bistarelli,Stefano;Codognet,Philippe;Hui,H.K.C.;Lee,J.H.M.:通过局部一致性和树搜索求解有限域约束层次结构(2009)
  8. Lutteroth,Christof;Strandh,Robert;Weber,Gerald:用户界面布局的特定领域高级约束(2008)
  9. 于银磊;马立克,沙拉德:线性约束下SMT中的引理学习(2006)
  10. Marco Bozzano;Roberto Bruttomesso;Alessandro Cimatti;Tommi Juntila;van Rossum,Peter;Schulz,Stephan;Sebastiani,Roberto:M\textbfathSAT:SAT和数学决策程序的紧密集成(2005)
  11. Marco Bozzano;Roberto Bruttomesso;Cimatti,Alessandro;Junttila,Tommi;van Rossum,Peter;Schulz,Stephan;Sebastiani,Roberto:线性算术逻辑可满足性的增量和分层过程(2005)
  12. Li,Hui;Williams,Brian:混合离散/线性优化的广义冲突学习(2005)
  13. Jansen,Anthony R.;Marriott,Kim;Meyer,Bernd:Cider:A component-based toolkit for creating smart diagram environments(2004)
  14. Marriott,Kim;Meyer,Bernd;Stuckey,Peter J.:使用自适应图表实现灵活的图形通信(2004)
  15. Hosobe,Hiroshi;Matsuoka,Satoshi:约束层次结构求解方法的基础(2003)
  16. 万豪,Kim;Stuckey,Peter;Tam,Vincent;He,Weiqing:使用约束优化消除图布局中的节点重叠(2003)
  17. Harvey,Warwick;Stuckey,Peter J.;Borning,Alan:编译约束层次结构的傅立叶消去法(2002)
  18. 万豪,Kim;Chok,Sitt Sen:QOCA:交互式图形应用程序的约束解决工具包(2002)
  19. Bergman,Lawrence D.;Kichkaylo,Tatiana;Banavar,Guruduth;Sussman,Jeremy:普适应用程序开发和WYSIWYG陷阱(2001)
  20. 万豪,Kim;Moller,Peter;Stuckey,Peter J.;Borning,Alan:解决交互式图形应用程序的析取约束(2001)