米克尔波菲尔;乔迪·科尔;杰拉德·马汀;Suy，约瑟普;马图·维拉雷特 样本分析机器调度问题：精确求解方法的定义和比较。 （英语） Zbl 1511.90163号 计算。操作。物件。 142，文章ID 105730，13 p.（2022）.MSC公司：90B35型 PDF格式BibTeX公司 XML格式引用 \textit｛M.Bofill｝等人，计算。操作。Res.142，文章ID 105730，第13页（2022；兹bl 1511.90163） 全文： 内政部
米克尔波菲尔;Joan Espasa女士;马图·维拉雷特 放松平行计划中的不干涉要求。 （英语） Zbl 1523.68090号 日志。J.IGPL公司 29，编号1，45-71（2021）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bofill}等人，日志。J.IGPL 29，第1号，45--71（2021；Zbl 1523.68090） 全文： 内政部
卡洛斯·安索特吉;米克尔波菲尔;很多，费利普;马图·维拉雷特 具有可满足模理论求解器的多值逻辑自动定理证明器。 （英语） Zbl 1387.03007号 模糊集系统。 292, 32-48 (2016). 审核人：曼弗雷德·科伯（伯明翰） MSC公司：03B35型 03B50号 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit｛C.Ansótegui｝等人，《模糊集系统》。292、32-48（2016年；Zbl 1387.03007） 全文： 内政部
卡洛斯·安索特吉;米克尔波菲尔;米克尔帕拉西;Suy，约瑟普;马图·维拉雷特 通过重新表述为可满足性模理论，求解具有元约束的加权CSP。 （英语） Zbl 1309.90083号 约束条件 18，第2期，236-268（2013）.MSC公司：90C27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Ansótegui}等人，约束18，No.2，236--268（2013；Zbl 1309.90083） 全文： 内政部
米克尔波菲尔;米克尔帕拉西;Suy，约瑟普;马图·维拉雷特 用SAT模理论求解约束满足问题。 （英语） Zbl 1309.90099号 约束条件 17，第3号，273-303（2012）.MSC公司：90立方 90C09型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bofill}等人，约束17，No.3，273--303（2012；Zbl 1309.90099） 全文： 内政部
米克尔波菲尔;Suy，约瑟普;马图·维拉雷特 一个用SMT解决约束满足问题的系统。 （英语） Zbl 1306.68153号 Strichman，Ofer（编辑）等人，《可满足性测试的理论和应用——SAT 2010》。2010年7月11日至14日在英国爱丁堡举行的2010年SAT第13届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14185-0/pbk）。计算机科学讲义6175，300-305（2010）。MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bofill}等人，Lect。注释计算。科学。6175300-305（2010年；兹比尔1306.68153） 全文： 内政部