马可·科雷亚；佩德罗·巴拉奥纳 可分解约束的基于视图的传播。 （英语） Zbl 1317.90202号 约束条件 18，第4号，579-608（2013）。MSC公司：90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Correia}和\textit{P.Barahona}，约束18，第4号，579-608（2013；Zbl 1317.90202） 全文： 内政部 arXiv公司
卡瓦略，艾尔莎；乔治·克鲁兹；佩德罗·巴拉奥纳 非线性反问题的概率约束。 （英语） Zbl 1304.90150号 约束条件 18，第3期，344-376（2013）。MSC公司：90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{E.Carvalho}等人，《约束18》，第3期，344--376（2013；Zbl 1304.90150） 全文： 内政部
马可·科雷亚；佩德罗·巴拉奥纳 关于单例一致性和look-ahead启发式的集成。 （英语） Zbl 1162.68651号 Fages，François（编辑）等人，约束方面的最新进展。第十二届ERCIM约束求解和约束逻辑编程国际研讨会，2007年CSCLP，法国罗克扬科特，2007年6月7日至8日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-89811-5/pbk）。计算机科学课堂讲稿5129。《人工智能讲义》，62-75（2008）。MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Correia}和\textit{P.Barahona}，莱克特。票据计算。科学。5129、62-75（2008年；Zbl 1162.68651） 全文： 内政部
佩德罗·巴拉奥纳；路德维希·克里帕尔 结构生物信息学中的约束编程。 （英语） Zbl 1144.92011年 约束条件 13，编号1-2，3-20（2008）。MSC公司：92C40型 92-08 68单位99 90 C90 PDF格式BibTeX公司 XML格式引用 \textit{P.Barahona}和\textit{L.Krippahl}，约束13，No.1--2，3--20（2008；Zbl 1144.92011） 全文： 内政部
Paula阿马拉；佩德罗·巴拉奥纳 不一致线性约束的最佳校正框架。 （英语） Zbl 1066.90136号 约束条件 10，第1期，67-86（2005）。MSC公司：90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit｛P.Amaral｝和\textit｛P.Barahona｝，约束条件10，第1号，67-86（2005；Zbl 1066.90136） 全文： 内政部