快速解释

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

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

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）