„core-guided solvers“

Suchergebnisse

2 Treffer

• Core-Guided Linear Programming-Based Maximum Satisfiability
  Katsirelos, George 2025 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