„maximum satisfiability“

Suchergebnisse

1.000+ Treffer

• Bridging Language Models and Symbolic Solvers via the Model Context Protocol
  Szeider, Stefan 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Analyzing Reformulation Performance in Core-Guided MaxSAT Solving
  Schidler, André ; Szeider, Stefan 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Core-Guided Linear Programming-Based Maximum Satisfiability
  Katsirelos, George 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
• Minimizing Working-Group Conflicts in Conference Session Scheduling Through Maximum Satisfiability (Short Paper)
  Cherif, Sami ; Sattoutah, Heythem ; Li, Chu-Min ; Lucet, Corinne ; Brisoux-Devendeville, Laure 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• 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
• MaxSAT-Based Bi-Objective Boolean Optimization
  Jabs, Christoph ; Berg, Jeremias ; Niskanen, Andreas ; Järvisalo, Matti 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Exact Algorithms for the Maximum Planar Subgraph Problem: New Models and Experiments
  Chimani, Markus ; Hedtke, Ivo ; Wiedera, Tilo 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization
  Jabs, Christoph ; Berg, Jeremias ; Ihalainen, Hannes ; Järvisalo, Matti 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Exploiting Configurations of MaxSAT Solvers
  Alòs, Josep ; Ansótegui, Carlos ; Salvia, Josep M. ; Torres, Eduard 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• UpMax: User Partitioning for MaxSAT
  Orvalho, Pedro ; Manquinho, Vasco ; Martins, Ruben 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• An Analysis of Core-Guided Maximum Satisfiability Solvers Using Linear Programming
  Katsirelos, George 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Analysis of Core-Guided MaxSat Using Cores and Correction Sets
  Narodytska, Nina ; Bjørner, Nikolaj 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Incremental Maximum Satisfiability
  Niskanen, Andreas ; Berg, Jeremias ; Järvisalo, Matti 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• From Cliques to Colorings and Back Again
  Heule, Marijn J. H. ; Karahalios, Anthony ; Hoeve, Willem-Jan ˜vanœ 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• MaxSAT with Absolute Value Functions: A Parameterized Perspective
  Bannach, Max ; Fleischmann, Pamela ; Skambath, Malte 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Enabling Incrementality in the Implicit Hitting Set Approach to MaxSAT Under Changing Weights
  Niskanen, Andreas ; Berg, Jeremias ; Järvisalo, Matti 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Refined Core Relaxation for Core-Guided MaxSAT Solving
  Ihalainen, Hannes ; Berg, Jeremias ; Järvisalo, Matti 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Building High Strength Mixed Covering Arrays with Constraints
  Ansótegui, Carlos ; Ojeda, Jesús ; Torres, Eduard 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik