„pseudo-Boolean solving“

Suchergebnisse

7 Treffer

• Practically Feasible Proof Logging for Pseudo-Boolean Optimization
  Koops, Wietze ; Le Berre, Daniel ; Myreen, Magnus O. ; Nordström, Jakob ; Oertel, Andy ; Tan, Yong Kiam ; Vinyals, Marc 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization
  Chen, Zhihan ; Lin, Peng ; Hu, Hao ; Cai, Shaowei 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Speeding up Pseudo-Boolean Propagation
  Nieuwenhuis, Robert ; Oliveras, Albert ; Rodríguez-Carbonell, Enric ; Zhao, Rui 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning
  Mexi, Gioni ; Berthold, Timo ; Gleixner, Ambros M. ; Nordström, Jakob 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Certified CNF Translations for Pseudo-Boolean Solving
  Gocht, Stephan ; Martins, Ruben ; Nordström, Jakob ; Oertel, Andy 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Engineering an Efficient PB-XOR Solver
  Yang, Jiong ; Meel, Kuldeep S. 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Theory and Practice of SAT Solving (Dagstuhl Seminar 15171)
  Biere, Armin ; Ganesh, Vijay ; Grohe, Martin ; Nordström, Jakob ; Williams, Ryan