A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality

Blanchette, Jasmin Christian; Fleury, Mathias; Lammich, Peter; Weidenbach, Christoph

doi:10.1007/s10817-018-9455-7

アイテム詳細

登録内容を編集ファイル形式で保存

一時保存へ追加

このアイテムの新しいバージョンが利用可能です:
https://pure.mpg.de/pubman/item/item_2602035_3

詳細要約

公開

学術論文

A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality

MPS-Authors

/persons/resource/persons183227

Blanchette, Jasmin Christian
Automation of Logic, MPI for Informatics, Max Planck Society;

/persons/resource/persons141910

Fleury, Mathias
Automation of Logic, MPI for Informatics, Max Planck Society;

/persons/resource/persons45719

Weidenbach, Christoph
Automation of Logic, MPI for Informatics, Max Planck Society;

External Resource

There are no locators available

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

フルテキスト (公開)

s10817-018-9455-7.pdf
(出版社版), 575KB

付随資料 (公開)

There is no public supplementary material available

引用

Blanchette, J. C., Fleury, M., Lammich, P., & Weidenbach, C. (2018). A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality. Journal of Automated Reasoning, 61(1-4), 333-365. doi:10.1007/s10817-018-9455-7.

引用: https://hdl.handle.net/21.11116/0000-0001-7ADB-0

要旨

要旨はありません