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 und JAKOB NORDSTRÖM, 2025. Core-Guided Linear Programming-Based Maximum Satisfiability. In: . CCSD&Schloss Dagstuhl – Leibniz-Zentrum für Informatik. 1 Januar 2025.
Elsevier - Harvard (with titles)Katsirelos, G., Mathématiques et Informatique Appliquées (MIA Paris-Saclay), Agro Paris Tech-Université Paris-Saclay-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE), Jeremias Berg, Jakob Nordström, 2025. Core-Guided Linear Programming-Based Maximum Satisfiability, in: . CCSD&Schloss Dagstuhl – Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SAT.2025.17
American Psychological Association 7th editionKatsirelos, G., Mathématiques et Informatique Appliquées (MIA Paris-Saclay), Agro Paris Tech-Université Paris-Saclay-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE), Jeremias Berg, & Jakob Nordström. (2025, Januar 1). Core-Guided Linear Programming-Based Maximum Satisfiability. https://doi.org/10.4230/LIPIcs.SAT.2025.17
Springer - Basic (author-date)Katsirelos G, Mathématiques et Informatique Appliquées (MIA Paris-Saclay), Agro Paris Tech-Université Paris-Saclay-Institut National de Recherche pour l’Agriculture l’Alimentation et l’Environnement (INRAE), Jeremias Berg, Jakob Nordström (2025) Core-Guided Linear Programming-Based Maximum Satisfiability. CCSD&Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Juristische Zitierweise (Stüber) (Deutsch)Katsirelos, George/ Mathématiques et Informatique Appliquées (MIA Paris-Saclay)/ Agro Paris Tech-Université Paris-Saclay-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)/ Jeremias Berg/ Jakob Nordström, Core-Guided Linear Programming-Based Maximum Satisfiability, 2025, .