„parallel SAT solving“

Suchergebnisse

15 Treffer

• Scalable SAT Solving and its Application
  Schreiber, Dominik Pascal ; Sanders, Peter ; Biere, Armin 2023 KIT-Bibliothek
• Restart strategies
  Lorenz, Jan-Hendrik 2021 Universität Ulm
• Verification, Model Checking, and Abstract Interpretation – 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings
  McMillan, Kenneth L. ; Rival, Xavier 2014 Springer International Publishing
• Verification, Model Checking, and Abstract Interpretation – 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
  D'Souza, Deepak ; Lal, Akash ; Larsen, Kim Gulstrand 2014 Springer Berlin Heidelberg
• Handbook of Parallel Constraint Reasoning
  Sais, Lakhdar ; Hamadi, Youssef 2018 Springer International Publishing
• Streamlining Distributed SAT Solver Design
  Schreiber, Dominik ; Rigi-Luperti, Niccolò ; Biere, Armin 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Problem Partitioning via Proof Prefixes
  Battleman, Zachary ; Reeves, Joseph E. ; Heule, Marijn J. H. 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Quantum Circuit Mapping Based on Incremental and Parallel SAT Solving
  Yang, Jiong ; Kharkov, Yaroslav A. ; Shi, Yunong ; Heule, Marijn J. H. ; Dutertre, Bruno 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Methods for Solving Extremal Problems in Practice
  Frank, Michael 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Multi-threaded ASP solving with clasp
  Gebser, Martin ; Kaufmann, Benjamin ; Schaub, Torsten 2019 Universität Potsdam
• Solving the 3-Satisfiability Problem Using Network-Based Biocomputation
  Zhu, Jingyuan ; Salhotra, Aseem ; Meinecke, Christoph Robert ; Surendiran, Pradheebha ; Lyttleton, Roman ; Reuter, Danny ; Kugler, Hillel ; Diez, Stefan ; Månsson, Alf ; Linke, Heiner ; Korten, Till 2024 Technische Universität Dresden
• Solving the 3‐Satisfiability Problem Using Network‐Based Biocomputation
  Zhu, Jingyuan ; Salhotra, Aseem ; Meinecke, Christoph Robert ; Surendiran, Pradheebha ; Lyttleton, Roman ; Reuter, Danny ; Kugler, Hillel ; Diez, Stefan ; Månsson, Alf ; Linke, Heiner ; Korten, Till
• Verified software – theories, tools, experiments : 5th international conference ; revised selected papers
  Cohen, Ernie ; Rybalchenko, Andrey 2014 Springer
• Verification, model checking, and abstract interpretation – 15th international conference ; proceedings
  McMillan, Kenneth L. ; Rival, Xavier 2014 Springer
• Verification, model checking, and abstract interpretation – 16th international conference ; proceedings
  D'Souza, Deepak ; Lal, Akash ; Larsen, Kim Gulstrand 2015 Springer