要約
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