Hermax: MaxSAT Optimization for Python Documentation

Salvia Hornos, Josep Maria; Fernández Camón, Cèsar; Mateu Piñol, Carles

doi:10.4230/artifacts.26925

Artifact

Hermax: MaxSAT Optimization for Python Documentation Text

Authors Josep Maria Salvia Hornos , Cèsar Fernández Camón , Carles Mateu Piñol

Part of: Collection: Supplementary Materials
License: Apache License 2.0
Publication Date: 2026-07-16

Document Identifiers

DOI: 10.4230/artifacts.26925
URN: urn:nbn:de:0030-drops-269250

Author Details

Josep Maria Salvia Hornos

Department of Computer Engineering and Digital Design, University of Lleida, Spain
Department of IT and Systems, AI Division, Corporación Alimentaria Guissona S.A., Lleida, Spain

Cèsar Fernández Camón

Department of Computer Engineering and Digital Design, University of Lleida, Spain

Carles Mateu Piñol

Department of Computer Engineering and Digital Design, University of Lleida, Spain

Content

Text (Documentation): https://hermax.readthedocs.io/

Version/Status

Content created at: 2026-07-03

Cite As Get BibTex

Josep Maria Salvia Hornos, Cèsar Fernández Camón, Carles Mateu Piñol. Hermax: MaxSAT Optimization for Python Documentation (Text, Documentation). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/artifacts.26925

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