Theory and applications of satisfiability testing (vol. # 3542) / 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

Lignende værker

• Theory and applications of satisfiability testing (vol. # 3569) / 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
  Udgivet: (2005)
• Introduction to mathematics of satisfiability /
  af: Marek, Viktor W.
  Udgivet: (2009)
• Theory and applications of satisfiability testing - SAT 2010 13th international conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings /
  Udgivet: (2010)
• Job scheduling strategies for parallel processing (vol. # 3277) 10th international workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, revised selected papers
  af: Feitelson, Dror
  Udgivet: (2005)
• Theory and applications of satisfiability testing - SAT 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings /
  Udgivet: (2013)