@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00228763,
 author = {白勢, 政明 and Masaaki, Shirase},
 book = {コンピュータセキュリティシンポジウム2023論文集},
 month = {Oct},
 note = {(A, t)を探索LWE問題のインスタンスとする．但し，Aは行列，tはベクトルである．先行研究は，Aとtを使って目的関数が2次関数，制約式が線形等式で与えられる整数計画問題を構成できることを示した．本稿は，小さな探索LWE問題のインスタンスに対して整数計画問題を構成し，それを整数計画ソルバーSCIPを用いて解いた結果を報告する．, Let (A, t) be an instance of the search LWE problem, where A is a matrix and t is a vector. The previous work shown that A and t can be used to construct an integer programming problem where the objective function is a quadratic function and the constraint equations are given by linear equations. This manuscript constructs an integer programming problem for an instance of a small search LWE problem, and solve it with the integer programming solver SCIP.},
 pages = {1100--1107},
 publisher = {情報処理学会},
 title = {探索LEW問題の整数計画問題への帰着とその実行例},
 year = {2023}
}