Theory and applications of satisfiability testing - SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings /

This book constitutes the refereed proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012. The 29 revised full papers, 7 tool papers, and 16 poster papers presented together with 2 invited talks were carefu...

詳細記述

書誌詳細

団体著者:	SpringerLink (Online service)
その他の著者:	Sebastiani, Roberto
フォーマット:	eBook
言語:	English
出版事項:	Berlin, Heidelberg Springer Berlin Heidelberg 2012.
シリーズ:	Lecture Notes in Computer Science, 7317
主題:	Computer science. Computer software. Logic design. Artificial intelligence. Mathematics.
オンライン･アクセス:	Click here to view the full text content
タグ:	タグ追加 タグなし, このレコードへの初めてのタグを付けませんか!