Core-Guided Linear Programming-Based Maximum Satisfiability - Katsirelos, George; Mathématiques et Informatique Appliquées (MIA Paris-Saclay); AgroParisTech-Université Paris-Saclay-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE); Jeremias Berg; Jakob Nordström (28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025) ; https://hal.inrae.fr/hal-05222608 ; 28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025), Aug 2025, Glasgow, United Kingdom. pp.17:1-17:17, ⟨10.4230/LIPIcs.SAT.2025.17⟩, 2025)