„Satisfiability Testing“

Suchergebnisse

45 Treffer

• 27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024)
  Chakraborty, Supratik ; Jiang, Jie-Hong Roland 2024 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Testing satisfiability of CNF formulas by computing a stable set of points
  Goldberg, Eugene
• Testing the Satisfiability of Algebraic Formulas over the Field of Two Elements
  Vyalyi, M. N.
• A Subset-Matching Size-Bounded Cache for Testing Satisfiability in Modal Logics
  Giunchiglia, Enrico ; Tacchella, Armando
• Algorithms for Testing Satisfiability Formulas
  Vlada, Marin
• Satisfiability Testing for Boolean Formulas Using Δ-trees
  Gutiérrez, G. ; de Guzmán, I. P. ; Martínez, J. ; Ojeda-Aciego, M. ; Valverde, A.
• 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023)
  Mahajan, Meena ; Slivovsky, Friedrich 2023 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• 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 – 7th international conference ; revised selected papers
  Hoos, Holger H. 2005 Springer
• Theory and applications of satisfiability testing – 8th international conference ; proceedings
  Bacchus, Fahiem 2005 Springer
• Theory and applications of satisfiability testing – 6th international conference ; selected revised papers
  Giunchiglia, Enrico 2004 Springer
• Theory and applications of satisfiability testing – 16th international conference ; proceedings
  Järvisalo, Matti ; Van Gelder, Allen 2013 Springer
• Theory and Applications of Satisfiability Testing – SAT 2012 – 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings
  Cimatti, Alessandro ; Sebastiani, Roberto 2012 Springer Berlin Heidelberg
• Theory and applications of satisfiability testing – 15th international conference ; proceedings
  Cimatti, Alessandro ; Sebastiani, Roberto 2012 Springer
• Theory and Applications of Satisfiability Testing - SAT 2011 – 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings
  Sakallah, Karem A. ; Simon, Laurent 2011 Springer Berlin Heidelberg
• Theory and application of satisfiability testing – 14th international conference ; proceedings
  Sakallah, Karem A. ; Simon, Laurent 2011 Springer
• Formal methods – proceedings
  Butler, Michael ; Schulte, Wolfram 2011 Springer
• Theory and Applications of Satisfiability Testing – SAT 2010 – 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
  Strichman, Ofer 2010 Springer Berlin Heidelberg