哈立德·贝拉赫塞内;文森特·穆索;瓦西拉Ouerdane;马克·皮尔洛;奥利维尔·索布里 多参考点排名:基于SAT的高效学习程序。 (英语) Zbl 1520.90142号 计算。操作。物件。 150,文章ID 106054,15 p.(2023).MSC公司:90B50型 91B06型 PDF格式BibTeX公司 XML格式引用 \textit{K.Belahcène}等人,计算。操作。第150号决议,文章编号106054,15页(2023年;Zbl 1520.90142) 全文: 内政部
英国贝拉赫塞内。;拉布雷切,C。;新墨西哥州莫代特。;V·穆索。;瓦尔达内,W。 从示例中学习多准则非补偿性排序规则的有效SAT公式。 (英语) 兹比尔1394.90330 计算。操作。物件。 97, 58-71 (2018).MSC公司:90B50型 PDF格式BibTeX公司 XML格式引用 \textit{K.Belahcène}等人,计算。操作。第97、58--71号决议(2018年;Zbl 1394.90330) 全文: 内政部 arXiv公司
阿尔达·卡瓦略;努诺·克拉托;卡拉·戈麦斯 生成幂律搜索树模型。 (英语) Zbl 1179.90173号 计算。操作。物件。 36,第8期,2376-2386(2009).MSC公司:90B40码 68吨99 PDF格式BibTeX公司 XML格式引用 \textit{A.Carvalho}等人,计算。操作。第36号决议,第8号,2376--2386(2009年;Zbl 1179.90173) 全文: 内政部
克里斯托弗·杰斐逊;安吉拉·米格尔;伊恩·米格尔;塔里木,S.Armagan 模拟和解决英语挂纸牌游戏。 (英语) Zbl 1086.90070号 计算。操作。物件。 第10号第33页,第2935-2959页(2006年).MSC公司:90 C90 90C08型 PDF格式BibTeX公司 XML格式引用 \textit{C.Jefferson}等人,计算。操作。第33号决议,第10号,2935--2959(2006年;Zbl 1086.90070) 全文: 内政部