快速解释

QUICKXPLAIN:过度约束问题的首选解释和放松。过约束问题可以有指数级的冲突,可以解释失败,也可以有指数级的松弛,恢复一致性。然而,交互式应用程序的用户需要包含最重要约束的解释和放松。我们需要一个通用的解释器,根据用户偏好和偏好来定义解释器。我们通过分而治之的策略大大加快了基本方法的速度,从而为主要工业约束编程工具的解释工具提供了技术基础,例如,在许多配置应用程序中使用。


zbMATH参考文献(28篇文章引用)

显示第1到第20个结果,共28个。
按年份排序(引用)
  1. Dodaro,Carmine;Gasteiger,Philip;Reale,Kristian;Ricca,Francesco;Schekotihin,Konstantin:调试非基础ASP程序:技术和图形工具(2019)
  2. Christophe Labreuche:解释分层多线性模型(2019)
  3. 弗洛伊德,尤金·C.:迈向圣杯的进展(2018)
  4. Kazakov,Yevgeny;Skočovský,Peter:使用决议列举理由(2018)
  5. Marques Silva,Joao;Malik,Sharad:命题SAT解决(2018)
  6. Alviano,Mario:通过不满足核心分析在命题限制中的模型枚举(2017)
  7. 马奎斯席尔瓦,乔奥;雅诺塔,米科拉什;门西亚,卡洛斯:关于命题公式的最小集。问题与削减(2017)
  8. Puranik,Yash;Sahinidis,Nikolaos V.:用于加速优化模型中不可行性诊断的删除预解决方案(2017年)
  9. 2017年,马克·达瑟姆·因格达(Marc Dasseum)和《互动模式》(The application of The interactive);马克·达瑟姆·皮恩斯(Marc Dasserm)的应用;以及马克·戴恩斯(Marc Dasserm)的《互动式配置》(The Apprography:2017)
  10. Jamil,Noreen;Müller,Johannes;Naeem,M.Asif;Lutteroth,Christof;Weber,Gerald:非方矩阵和软约束的扩展线性松弛(2016)
  11. Liffiton,Mark H.;Previti,Alessandro;Malik,Ammar;Marques Silva,Joao:快速、灵活的MUS计数(2016)
  12. Carlos Mencía;Ignatiev,Alexey;Previti,Alessandro;Marques Silva,Joao:MCS提取与次线性oracle查询(2016)
  13. Arif,M.Fareed;Mencía,Carlos;Marques Silva,Joao:Horn公式的有效MUS计数及其在公理精确定位中的应用(2015)
  14. 格雷戈尔,çric;拉格尼兹,让-玛丽;马祖尔,贝特朗:关于消除MUC查找算法中的预处理最小化步骤(2015)
  15. Carlos Mencia;Previti,Alessandro;Marques Silva,Joao:基于SAT的Horn最小上界(2015)
  16. Quesada,Luis;Sitanayah,Lanny;Brown,Kenneth N.;O'Sullivan,Barry;Sreenan,Cormac J.:无线传感器网络中附加中继布置问题的约束规划方法(2015)
  17. Aschinger,Markus;Drescher,Conrad;Gottlob,Georg;Vollmer,Heribert:LoCo——配置问题的逻辑(2014)
  18. Belov,Anton;Janota,Mikolš;Lynce,Inès;Marques Silva,Joao:计算最小等价子公式的算法(2014)
  19. McAreavey,Kevin;Liu,Weiru;Miller,Paul:在任意知识库中发现和测量不一致性的计算方法(2014)
  20. Benini,Luca;Lombardi,Michele;Milano,Michela;Ruggiero,Martino:CELL BE平台的最佳资源分配和调度(2011)