„Pseudo Boolean“

Suchergebnisse

1.000+ Treffer

• A Davis Putnam based enumeration algorithm for linear pseudo-Boolean optimization
  Barth, Peter 1995 Max-Planck-Inst. für Informatik, Bibliothek & Dokumentation
• Pseudo-Boolean Constraint Encodings for Conjunctive Normal Form and their Applications
  Steinke, Peter ; Hölldobler, Steffen ; Biere, Armin 2020 Technische Universität Dresden
• Theoretical analyses of univariate estimation-of-distribution algorithms
  Krejca, Martin Stefan ; Friedrich, Tobias ; Doerr, Benjamin ; Witt, Carsten 2019 Universität Potsdam
• Logikbasierte Optimierungsverfahren für die Bedarfsprognose
  Kübart, Thore ; Küchlin, Wolfgang 2016 Universitätsbibliothek Tübingen
• Towards Next Generation Sequential and Parallel SAT Solvers
  Manthey, Norbert ; Hölldobler, Steffen ; Biere, Armin 2015 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Pseudo Boolean d-DNNF compilation for analyzing expressive feature-model formats
  Vill, Stefan 2025 Universität Ulm
• The strength of pseudo-expectations – a detailed analysis of the work of Lee, Raghavendra and Steurer on the psd rank of the family of correlation polytopes
  Gruler, Sebastian 2018 Bibliothek der Universität Konstanz
• Improving Local Search for Pseudo Boolean Optimization by Fragile Scoring Function and Deep Optimization
  Zhou, Wenbo ; Zhao, Yujiao ; Wang, Yiyuan ; Cai, Shaowei ; Wang, Shimao ; Wang, Xinyu ; Yin, Minghao 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On Top-Down Pseudo-Boolean Model Counting
  Yang, Suwei ; Lai, Yong ; Meel, Kuldeep S. 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Symbolic Conflict Analysis in Pseudo-Boolean Optimization
  Nieuwenhuis, Robert ; Oliveras, Albert ; Rodríguez-Carbonell, Enric ; Zhao, Rui 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Improving Reduction Techniques in Pseudo-Boolean Conflict Analysis
  Lomis, Orestis ; Devriendt, Jo ; Bierlee, Hendrik ; Guns, Tias 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• 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
• Symmetric Core Learning for Pseudo-Boolean Optimization by Implicit Hitting Sets
  Ihalainen, Hannes ; Berg, Jeremias ; Järvisalo, Matti ; Bogaerts, Bart 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The zero divisor graphs of Boolean posets
  Joshi, Vinayak ; Khiste, Anagha
• Residuation in finite posets
  Chajda, Ivan ; Länger, Helmut
• Simultaneously Satisfying Linear Equations Over F_2: MaxLin2 and Max-r-Lin2 Parameterized Above Average
  Crowston, Robert ; Fellows, Michael ; Gutin, Gregory Z. ; Jones, Mark ; Rosamond, Frances ; Thomassé, Stéphan ; Yeo, Anders 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Algorithms for the Maximum Independent Set Problem
  Lê, Ngoc C. ; Schiermeyer, Ingo ; Harant, Jochen 2015 Technische Universitaet Bergakademie Freiberg Universitaetsbibliothek "Georgius Agricola"
• Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms
  Demirović, Emir ; McCreesh, Ciaran ; McIlree, Matthew J. ; Nordström, Jakob ; Oertel, Andy ; Sidorov, Konstantin 2024 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
• Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability
  Berg, Jeremias ; Bogaerts, Bart ; Nordström, Jakob ; Oertel, Andy ; Paxian, Tobias ; Vandesande, Dieter 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik