„MaxSAT“

Suchergebnisse

1.000+ Treffer

• SAT and Interactions (Dagstuhl Seminar 20061)
  Beyersdorff, Olaf ; Egly, Uwe ; Mahajan, Meena ; Nalon, Cláudia
• Deep Cooperation of Local Search and Unit Propagation Techniques
  Chen, Xiamin ; Lei, Zhendong ; Lu, Pinyan 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• PACE Solver Description: Minimum Hitting Set Computation via Core-Guided MaxSAT Solving
  Schidler, André 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• noSAT-MaxSATv3
  Lübke, Ole 2024 Technische Universität Hamburg. Universitätsbibliothek
• IGMaxHS - An Incremental MaxSAT Solver with Support for XOR Clauses
  Lübke, Ole 2024 Technische Universität Hamburg. Universitätsbibliothek
• noSAT-MaxSATv2
  Lübke, Ole ; Schupp, Sibylle 2023 Technische Universität Hamburg. Universitätsbibliothek
• Satisfiability and Optimization in Periodic Traffic Flow Problems
  Großmann, Peter ; Nachtigall, Karl ; Kroon, Leo 2016 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• PACE Solver Description: Crossy - An Exact Solver for One-Sided Crossing Minimization
  Röhr, Tobias ; Simonov, Kirill 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Handbook of Parallel Constraint Reasoning
  Sais, Lakhdar ; Hamadi, Youssef 2018 Springer International Publishing
• Analyzing Reformulation Performance in Core-Guided MaxSAT Solving
  Schidler, André ; Szeider, Stefan 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Redundancy Rules for MaxSAT
  Bonacina, Ilario ; Bonet, Maria Luisa ; Buss, Sam ; Lauria, Massimo 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• An Algebraic Approach to MaxCSP
  Bonacina, Ilario ; Levy, Jordi 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• SLS-Enhanced Core-Boosted Linear Search for Anytime Maximum Satisfiability
  Lübke, Ole ; Berg, Jeremias 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• DPSLS: an efficient local search algorithm for pure MaxSAT
  Zhou, Huisi ; Zhang, Xinyu ; Hu, Wei ; Zhu, Dan ; Wang, Liwei
• Decoding quantum color codes with MaxSAT
  Berent, L. ; Burgholzer, L. ; Derks, P.J.H.S. ; Eisert, J. ; Wille, R.
• Structure-Guided Local Improvement for Maximum Satisfiability
  Schidler, André ; Szeider, Stefan 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
• Enhancing MaxSAT Local Search via a Unified Soft Clause Weighting Scheme
  Chu, Yi ; Li, Chu-Min ; Ye, Furong ; Cai, Shaowei 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• MaxSAT Resolution with Inclusion Redundancy
  Bonacina, Ilario ; Bonet, Maria Luisa ; Lauria, Massimo 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• MaxSAT-Based Bi-Objective Boolean Optimization
  Jabs, Christoph ; Berg, Jeremias ; Niskanen, Andreas ; Järvisalo, Matti 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik