特蕾莎·阿尔西尼特;约塞普·阿格利奇;拉蒙·贝加尔;塞萨尔·费尔南德斯;卡莱斯·马图;乔迪，飞机 加权论证，用于分析推特上的讨论。 （英语） Zbl 1422.91606号 国际J近似推理 85, 21-35 (2017).MSC公司：91天30分 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{T.Alsinet}等人，国际期刊近似推理85，21-35（2017；Zbl 1422.91606） 全文： 内政部 链接
约塞普·阿格利奇;拉蒙·贝加尔;塞萨尔·费尔南德斯;卡莱斯·马图;飞机，乔迪 关于2SAT-MaxOnes上MaxSAT和MinSAT解算器的性能。 （英语） Zbl 1401.68283号 安。数学。工件。智力。 77，编号1-2，43-66（2016）.MSC公司：68T20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Argelich}等人，《数学年鉴》。工件。智力。77号1--2、43-66（2016；Zbl 1401.68283） 全文： 内政部 链接
特蕾莎·阿尔辛;拉蒙·贝加尔;塞萨尔·费尔南德斯;弗朗西斯科·吉塔特;卡莱斯·马图 使用冲突驱动的ASP解算器解决路由和波长分配问题。 （英语） Zbl 1373.68034号 AI通讯。 28，第1号，21-34（2015）.MSC公司：68M10个 68N17号 68兰特 90B18号机组 PDF格式BibTeX公司 XML格式引用 \textit{T.Alsinet}等人，AI Commun。28，第1号，21-34（2015年；兹bl 1373.68034） 全文： 内政部
卡洛斯·安索特吉;拉蒙·贝加尔;塞萨尔·费尔南德斯;卡莱斯·马图 关于将边缘匹配难题作为SAT或CSP问题解决的难度。 （英语） Zbl 1310.05055号 约束条件 18，第1期，7-37（2013）.MSC公司：05B40号 05B50号 52C20个 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Ansótegui}等人，《约束18》，第1期，第7-37页（2013年；Zbl 1310.05055） 全文： 内政部
拉蒙·贝加尔;塞萨尔·费尔南德斯;卡莱斯·马图;瓦尔斯，马格达 矩形孔模式的数独完成问题是NP-完全的。 （英语） Zbl 1252.05019号 离散数学。 312，第22号，3306-3315（2012）.MSC公司：05B15号 PDF格式BibTeX公司 XML格式引用 \textit{R.Béjar}等人，《离散数学》。312、22号、3306--3315（2012；Zbl 1252.05019） 全文： 内政部
拉蒙·贝加尔;很多，费利普;阿尔巴州卡比斯科;塞萨尔·费尔南德斯;卡拉·戈麦斯 正则SAT：解决组合问题的多值方法。 （英语） Zbl 1121.68104号 离散应用程序。数学。 155，第12期，1613-1626（2007）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Béjar}等人，《离散应用》。数学。155，第12号，1613-1626（2007；Zbl 1121.68104） 全文： 内政部
拉蒙·贝加尔;卡梅尔·多姆什拉克;塞萨尔·费尔南德斯;卡拉·戈麦斯;巴斯卡尔·克里希纳马查里;巴特·塞尔曼;瓦尔斯，马格达 传感器网络和分布式CSP：通信、计算和复杂性。 （英语） Zbl 1132.68688号 工件。智力。 161，编号1-2，117-147（2005）.MSC公司：68T20型 64岁以下 65年第68季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{R.Béjar}等人，Artif。智力。161，编号1--2，117-147（2005；Zbl 1132.68688） 全文： 内政部 链接
Alsinet，T。;R·贝加尔。;Cabiscol，A。;费尔南德斯，C。;许多，F。 针对所有间隔序列问题的最小冗余SAT编码。 （英语） Zbl 1028.68627号 Escrig，M.Teresa（编辑）等人，《人工智能主题》。2002年10月24日至25日在西班牙卡斯特隆举行的第五届加泰罗尼亚人工智能会议，CCIA 2002。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。第2504139-144页（2002年）。MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{T.Alsinet}等人，Lect。注释计算。科学。2504、139--144（2002年；Zbl 1028.68627） 全文： 链接
拉蒙·贝加尔;阿尔巴州卡比斯科;塞萨尔·费尔南德斯;很多，费利普;卡拉·戈麦斯 捕获具有可满足性的结构。 （英语） Zbl 1067.68535号 Walsh，Toby（编辑），约束规划的原理和实践-CP 2001。第七届国际会议，2001年11月26日至12月1日，塞浦路斯帕福斯。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42863-1）。莱克特。注释计算。科学。2239, 137-152 (2001).MSC公司：68甲19 PDF格式BibTeX公司 XML格式引用 \textit{R.Béjar}等人，Lect。注释计算。科学。2239、137--152（2001年；Zbl 1067.68535） 全文： 链接
雷蒙·贝贾尔;阿尔巴州卡比斯科;费尔南德斯，塞萨尔;费利普·曼亚;卡拉·戈麦斯 使用多值逻辑扩展SAT的覆盖范围。 （英语） Zbl 0990.90539号 Kautz，Henry（编辑）等，2001年LICS满意度测试理论与应用研讨会（SAT 2001）。2001年6月14日至15日，美国马萨诸塞州波士顿。阿姆斯特丹：Elsevier，Electron。注释离散数学。9，无页码。，仅电子版（2001）。MSC公司：90C27型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bejar}等人，《电子》。注释离散数学。9，无页码。（2001年；Zbl 0990.90539）