close
1.

電子ブック
ＥＢ
1. Theory and Applications of Satisfiability Testing ?ESAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
edited by Hans Kleine Buning, Xishun Zhao
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4996
オンライン: http://dx.doi.org/10.1007/978-3-540-79719-7
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Theory and Applications of Satisfiability Testing - SAT 2007 : 10th International Conference SAT 2007 Lisbon Portugal May 28-31 2007 Proceedings
edited by Joao Marques-Silva Karem A. Sakallah
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2007
シリーズ名: Lecture Notes in Computer Science ; 4501
オンライン: http://dx.doi.org/10.1007/978-3-540-72788-0
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Theory and Applications of Satisfiability Testing - SAT 2006 : 9th International Conference Seattle WA USA August 12-152006 Proceedings
edited by Armin Biere Carla P. Gomes
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4121
オンライン: http://dx.doi.org/10.1007/11814948
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Theory and Applications of Satisfiability Testing (vol. # 3569) : 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
edited by Fahiem Bacchus, Toby Walsh
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3569
オンライン: http://dx.doi.org/10.1007/b137280
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Theory and Applications of Satisfiability Testing (vol. # 3542) : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
edited by Holger H. Hoos, David G. Mitchell
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3542
オンライン: http://dx.doi.org/10.1007/11527695
所蔵情報: loading…