Jump to main content

yr 〜
yr

Search results 5

Theory and applications of satisfiability testing -- SAT 2010 : 13th international conference, SAT 2010 : Edinburgh, UK, July 11-14, 2010 : proceedings. : 2010 federated logic conference : FLoC : Jul 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6175)

Theory and applications of satisfiability testing -- SAT 2010 : 13th international conference, SAT 2010 : Edinburgh, UK, July 11-14, 2010 : proceedings. : 2010 federated logic conference : FLoC : Jul 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6175)
Paper図書
Springerc2010.<M17-11-152>
National Diet Library
  • Author Heading...f Informatics. Strichman, Ofer. Szeider, Stefan. SAT 2010 (20...

7th international workshop on satisfiability modulo theories 2009 : (SMT 09) : Montreal, Canada : 2-3 August 2009. : Aug 2009, Montreal, Canada. (ACM International Conference Proceedings Series ; 375)

7th international workshop on satisfiability modulo theories 2009 : (SMT 09) : Montreal, Canada : 2-3 August 2009. : Aug 2009, Montreal, Canada. (ACM International Conference Proceedings Series ; 375)
Paper図書
ACMc2009.<M17-10-2986>
National Diet Library
  • Author HeadingDutertre, Bruno. Strichman, Ofer. International Workshop on Sat...

Decision procedures : an algorithmic point of view : hardback 2nd ed

Decision procedures : an algorithmic point of view : hardback 2nd ed
Paper図書
Daniel Kroening, Ofer StrichmanSpringerc2016
Other Libraries in Japan

Hardware and software : verification and testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017 : proceedings

Hardware and software : verification and testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017 : proceedings
Paper図書
Ofer Strichman, Rachel Tzoref-Brill (eds.)Springerc2017
Other Libraries in Japan

Decision procedures : an algorithmic point of view

Decision procedures : an algorithmic point of view
Paper図書
Daniel Kroening, Ofer Strichman ; foreword by Randal E. BryantSpringerc2008
Other Libraries in Japan

Reached to the end of result.

RSS