„Satisfiability Testing“

Suchergebnisse

45 Treffer

• Theory and applications of satisfiability testing – 13th international conference ; proceedings
  Strichman, Ofer 2010 Springer
• Theory and applications of satisfiability testing – 12th international conference ; proceedings
  Kullmann, Oliver 2009 Springer
• Theory and applications of satisfiability testing – 11th international conference ; proceedings
  Kleine Büning, Hans 2008 Springer
• Theory and applications of satisfiability testing – 10th international conference ; proceedings
  Marques-Silva, João 2007 Springer
• Theory and applications of satisfiability testing – 9th international conference ; proceedings
  Biere, Armin 2006 Springer