„Satisfiability Testing“

Suchergebnisse

1.000+ Treffer

• Towards Next Generation Sequential and Parallel SAT Solvers
  Manthey, Norbert ; Hölldobler, Steffen ; Biere, Armin 2015 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Testing Quantum Satisfiability
  Montanaro, Ashley ; Shao, Changpeng ; Verdon, Dominic
• Theory and Applications of Satisfiability Testing – SAT 2013 – 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
  Järvisalo, Matti ; Van Gelder, Allen 2013 Springer Berlin Heidelberg
• Theory and applications of satisfiability testing – 9th international conference, Seattle, WA, USA, August 12 - 15, 2006 ; proceedings
  Biere, Armin 2006 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 – SAT 2017 – 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings
  Gaspers, Serge ; Walsh, Toby 2017 Springer International Publishing
• FM 2011: Formal Methods – 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings
  Butler, Michael ; Schulte, Wolfram 2011 Springer Berlin Heidelberg
• Theory and Applications of Satisfiability Testing – SAT 2019 – 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings
  2019 Springer International Publishing
• Theory and Applications of Satisfiability Testing – SAT 2021 – 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings
  2021 Springer Berlin Heidelberg
• Theory and Applications of Satisfiability Testing – SAT 2020 – 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings
  2020 Springer International Publishing
• Theory and Applications of Satisfiability Testing -- SAT 2015 – 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
  Heule, Marijn J. H. ; Weaver, Sean 2015 Springer International Publishing
• Theory and Applications of Satisfiability Testing – SAT 2016 – 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
  2016 Springer International Publishing
• 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022)
  Meel, Kuldeep S. ; Strichman, Ofer 2022 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Building High Strength Mixed Covering Arrays with Constraints
  Ansótegui, Carlos ; Ojeda, Jesús ; Torres, Eduard 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Control Improvisation
  Fremont, Daniel J. ; Donzé, Alexandre ; Seshia, Sanjit A. ; Wessel, David 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix
  Banbara, Mutsunori ; Tamura, Naoyuki ; Inoue, Katsumi 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Theory and Applications of Satisfiability Testing – SAT 2014 – 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings
  2014 Springer International Publishing
• A BDD SAT solver for satisfiability testing: An industrial case study
  Puri, Ruchir ; Gu, Jun