文件大小：1 MB 16页
基于求解计数的约束获取
作者
-
部分： 体积： 第28届约束规划原理与实践国际会议（CP 2022）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 约束规划原理与实践国际会议 许可证： 
Creative Commons Attribution 4.0国际许可 出版日期：2022-07-23
文件
文件标识符
引用为 获取BibTex
摘要
主题分类
ACM科目分类
计算方法→建模方法
关键词
约束获取 CSP公司 模型计数 溶液计数
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
Hajar Ait Addi和Redouane Ezzahir。 P_a-quacq：约束获取系统的算法。 《智能数据和计算智能》，第249-256页，2019年。 
-
哈贾尔·艾特·艾迪（Hajar Ait Addi）、克里斯蒂安·贝西尔（Christian Bessiere）、雷杜安·埃扎希尔（Redouane Ezzahir）和纳吉布·拉扎尔（Nadjib Lazaar）。 用于获取约束的有时限查询生成器。 《约束编程、人工智能和运筹学集成》（CPAIOR 2018），第1-17页，2018年。
-
罗宾·阿卡内利和纳吉布·拉扎尔。 多约束获取。 《2015年配置和推荐的约束和偏好以及Web个性化智能技术国际会议论文集》，2015年第16-20页。
-
尼古拉斯·贝尔迪卡努和埃维琳·孔特让。 在芯片中引入全局约束。 数学与计算机建模，20（12）：97-1231994。
-
尼古拉斯·贝尔迪卡努和赫尔穆特·西蒙尼斯。 约束寻求者：从示例中查找和排序全局约束。 《第17届约束编程原理与实践国际会议论文集》（CP 2011），第12-26页，2011年。
-
尼古拉斯·贝尔迪卡努和赫尔穆特·西蒙尼斯。 模型寻求者：从正面示例中提取全局约束模型。 《第18届约束编程原理与实践国际会议论文集》（CP 2012），第141-157页，2012年。
-
克里斯蒂安·贝西尔（Christian Bessiere）、克莱门特·卡本内尔（Clément Carbonnel）、安东·德里斯（Anton Dries）、伊曼纽尔·希伯拉德（Emmanuel Hebrard）、乔治·卡特里洛斯（George Katsirelos）、纳吉布·拉扎尔（Nadjib Lazaar）、尼娜·纳洛德茨卡（Nina Narodytska）、克洛德·盖伊·。 获取约束的部分查询。 技术报告abs/2003.06649，CoRR，2020。 网址： http://arxiv.org/abs/2003.06649 . -
克里斯蒂安·贝西尔、雷米·科莱塔、伊曼纽尔·希伯拉德、乔治·卡特西雷洛斯、纳吉布·拉扎尔、尼娜·纳洛德茨卡、克劳德·盖伊·坎佩尔和托比·沃尔什。 通过部分查询获取约束。 《第23届国际人工智能联合会议论文集》（IJCAI-13）编辑弗朗西丝卡·罗西（Francesca Rossi），第475-481页，2013年。
-
Supratik Chakraborty、Kuldeep S.Meel和Moshe Y.Vardi。 概率推理近似计数的算法改进：从线性到对数sat调用。 《第25届国际人工智能联合会议论文集》（IJCAI-16），第3569-3576页，2016年。
-
Abderrazak Daoudi、Younes Mechqrane、Christian Bessiere、Nadjib Lazar和El Houssine Bouyakhf。 使用推荐查询进行约束获取。 《第25届国际人工智能联合会议记录》（IJCAI-16），第720-726页，2016年。
-
Niklas Eén和Niklas Sörensson。 将伪布尔约束转化为sat。可满足性，布尔建模与计算杂志，2（1-4）：1-262006。
-
尼古拉斯·奈瑟科特、彼得·斯塔基、拉尔夫·贝克特、塞巴斯蒂安·布兰德、格雷戈里·杜克和吉多·塔克。 Minizin：面向标准cp建模语言。 《第13届约束编程原理与实践国际会议论文集》（CP 2007），第529-543页，2007年。
-
埃米莉·皮卡德·康蒂、马修·鲍查德、克劳德·盖·坎佩尔和杰森·斯威尼。 从解决方案中学习序列约束的参数。 在《第22届约束编程原理与实践国际会议论文集》（CP 2016），第405-420页，2016。
-
埃米利·皮卡德·康蒂、马修·鲍查德、克劳德·盖·坎佩尔和杰森·斯威尼。 使用分支定界学习全局约束的参数。 《第23届约束编程原理与实践国际会议论文集》（CP 2017），第512-528页，2017年。
-
Jean-Charles Régin、Mohamed Rezgui和Arnaud Malapert。 令人尴尬的并行搜索。 《第19届约束编程原理与实践国际会议论文集》（CP 2013），第596-610页，2013年。
-
编辑弗朗西丝卡·罗西（Francesca Rossi）、彼得·范·比克（Peter van Beek）和托比·沃尔什（Toby Walsh）。 《约束编程手册》，《人工智能基础》第2卷。 爱思唯尔，2006年。
-
Shubham Sharma、Subhajit Roy、Mate Soos和Kuldeep S.Meel。 Ganak：一个可扩展的概率精确模型计数器。 《第28届国际人工智能联合会议记录》（IJCAI-19），第1169-11762019页。
-
Mate Soos和Kuldeep S.Meel。 Bird：设计一个高效的cnf-xor sat解算器及其在近似模型计数中的应用。 在第33届AAAI人工智能会议记录（AAAI-19）中，第1592-1599页，2019。
-
Dimostenis C.Tsouros、Kostas Stergiou和Christian Bessiere。 结构驱动的多约束获取。 《第25届约束规划原理与实践国际会议论文集》（CP 2019），第709-725页，2019年。
-
Dimostenis C.Tsouros、Kostas Stergiou和Panagiotis G.Sarigannidis。 约束获取的有效方法。 《第24届约束编程原理与实践国际会议论文集》（CP 2018），第373-388页，2018年。