Coverage-Based Clause Reduction Heuristics for CDCL Solvers

論文・著書情報

タイトル

和文:	Coverage-Based Clause Reduction Heuristics for CDCL Solvers
英文:	Coverage-Based Clause Reduction Heuristics for CDCL Solvers

著者

和文:	Hidetomo Nabeshima, Katsumi Inoue.
英文:	Hidetomo Nabeshima, Katsumi Inoue.

言語

English

掲載誌/書名

和文:	In: Serge Gaspers and Toby Walsh (eds.), Theory and Applications of Satisfiability Testing: Proceedings of the 20th International Conference (SAT 2017; Melbourne, VIC, Australia, August 28 - September 1, 2017), Lecture Notes in Computer Science
英文:	In: Serge Gaspers and Toby Walsh (eds.), Theory and Applications of Satisfiability Testing: Proceedings of the 20th International Conference (SAT 2017; Melbourne, VIC, Australia, August 28 - September 1, 2017), Lecture Notes in Computer Science

巻, 号, ページ

Vol. 10491 pp. 136-144

出版年月

2017年8月30日

出版者

和文:	Springer
英文:	Springer

会議名称

和文:
英文:

開催地

和文:
英文: