Beyond Core-Guided MaxSAT

Bonacina, Ilario; Levy, Jordi; Liberal, Ion Mikel

doi:10.4230/artifacts.26940

Artifact

Beyond Core-Guided MaxSAT Software

Authors Ilario Bonacina , Jordi Levy , Ion Mikel Liberal

Part of: Collection: Supplementary Materials
License: GNU General Public License v3.0 only
Publication Date: 2026-07-16

Document Identifiers

DOI: 10.4230/artifacts.26940
URN: urn:nbn:de:0030-drops-269401

Author Details

Ilario Bonacina

Universitat Politècnica de Catalunya, Barcelona, Spain

Jordi Levy

IIIA, CSIC, Barcelona, Spain

Ion Mikel Liberal

IIIA, CSIC, Barcelona, Spain

Content

Software (Source Code): https://github.com/Equipomaxsat/Beyond-Core-Guided-MaxSAT.git
archived version

Version/Status

Content created at: 2026-05-11

Cite As Get BibTex

Ilario Bonacina, Jordi Levy, Ion Mikel Liberal. Beyond Core-Guided MaxSAT (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/artifacts.26940

Description

Python implementations of MaxSAT algorithms inspired by the Comparator Calculus from “Beyond Core-Guided MaxSAT” (SAT 2026), including CSimple, CSat, core-guided CSat, OLL, and Fu&Malik variants, using OptiLog/Glucose and bitarray.

Subject Classification

Programming Languages

Python

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata

0

Downloads

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail