優先度付き巨大近傍探索 （LNPS: Large Neighborhood Prioritized Search）は，組合せ最適化問題に対して系統的探索と確率的局所探索を統合的に適用する手法の一つである．本発表では，SAT の発展形の一つである解集合プログラミング （Answer Set Programming; ASP） 技術を用いた LNPS の実装について述べる．また，開発したソルバー asprior の性能評価として，代表的な時間割問題の一つであるカリキュラムベース・コース時間割などを使った実験結果を示す．