卡洛斯·安索特吉;米克尔波菲尔;很多,费利普;马图·维拉雷特 具有可满足模理论求解器的多值逻辑自动定理证明器。 (英语) 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) 全文: 内政部