Proving Conjectures Acquired by Composing Multiple Biases

要約

2024 AAAI 会議の議事録に掲載された論文 [1] で言及され、同じ論文で提示された分解方法によって発見された推測の証明を紹介します。

要約(オリジナル)

We present the proofs of the conjectures mentioned in the paper published in the proceedings of the 2024 AAAI conference [1], and discovered by the decomposition methods presented in the same paper.

arxiv情報

著者 Jovial Cheukam-Ngouonou,Ramiz Gindullin,Nicolas Beldiceanu,Rémi Douence,Claude-Guy Quimper
発行日 2023-12-14 14:40:11+00:00
arxivサイト arxiv_id(pdf)

提供元, 利用サービス

arxiv.jp, Google

カテゴリー: cs.AI, math.CO パーマリンク