Jump to main content

yr 〜
yr

Search results 3

Theory and applications of satisfiability testing -- SAT 2011 : 14th international conference, SAT 2011 : Ann Arbor, MI, USA, June 19-22, 2011 : proceedings. : 14th SAT meeting : Jun 2011, Ann Arbor, MI. (Lecture Notes in Computer Science ; 6695)

Theory and applications of satisfiability testing -- SAT 2011 : 14th international conference, SAT 2011 : Ann Arbor, MI, USA, June 19-22, 2011 : proceedings. : 14th SAT meeting : Jun 2011, Ann Arbor, MI. (Lecture Notes in Computer Science ; 6695)
Paper図書
Springerc2011.<M17-11-3217>
National Diet Library
  • Author Heading...ring Division. Sakallah, Karem A. Simon, Laurent. SAT 2011 (201...

Theory and applications of satisfiability testing -- SAT 2007 : 10th international conference : Lisbon, Portugal, May 28-31, 2007 : proceedings. : annual SAT conference : 10th SAT meeting : May 2007, Lisbon, Portugal. (Lecture Notes in Computer Science ; 4501)

Theory and applications of satisfiability testing -- SAT 2007 : 10th international conference : Lisbon, Portugal, May 28-31, 2007 : proceedings. : annual SAT conference : 10th SAT meeting : May 2007, Lisbon, Portugal. (Lecture Notes in Computer Science ; 4501)
Paper図書
Springerc2007.<M17-07-1549>
National Diet Library
  • Author HeadingMarques-Silva, João. Sakallah, Karem A. SAT 2007 (2007 : Lisbon, Port...

Theory and applications of satisfiability testing - SAT 2007 : 10th International Conference, Lisbon, Portugal, May 28-31, 2007 : proceedings

Theory and applications of satisfiability testing - SAT 2007 : 10th International Conference, Lisbon, Portugal, May 28-31, 2007 : proceedings
Paper図書
João Marques-Silva, Karem A. Sakallah (eds.)Springerc2007
Other Libraries in Japan
  • Author Heading...es-Silva, João Sakallah, Karem A.

Reached to the end of result.

RSS