Search Results

Documents authored by Mateu Piñol, Carles

Artifact
Software
DOI: 10.4230/artifacts.25966
josalhor/hermax

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

Abstract
Cite as

Josep Maria Salvia Hornos, Cèsar Fernández Camón, Carles Mateu Piñol. josalhor/hermax (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

Copy BibTex To Clipboard

@misc{dagstuhl-artifact-25966,
   title = {{josalhor/hermax}}, 
   author = {Salvia Hornos, Josep Maria and Fern\'{a}ndez Cam\'{o}n, C\`{e}sar and Mateu Pi\~{n}ol, Carles},
   note = {Software (visited on 2026-07-16)},
   url = {https://github.com/josalhor/hermax},
   doi = {10.4230/artifacts.25966},
}
Artifact
Software
DOI: 10.4230/artifacts.26924
Hermax: MaxSAT Optimization for Python Pypi Distribution

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

Abstract
Cite as

Josep Maria Salvia Hornos, Cèsar Fernández Camón, Carles Mateu Piñol. Hermax: MaxSAT Optimization for Python Pypi Distribution (Software, Distribution). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

Copy BibTex To Clipboard

@misc{dagstuhl-artifact-26924,
   title = {{Hermax: MaxSAT Optimization for Python Pypi Distribution}}, 
   author = {Salvia Hornos, Josep Maria and Fern\'{a}ndez Cam\'{o}n, C\`{e}sar and Mateu Pi\~{n}ol, Carles},
   note = {Software (visited on 2026-07-16)},
   url = {https://pypi.org/project/hermax},
   doi = {10.4230/artifacts.26924},
}
Artifact
Text
DOI: 10.4230/artifacts.26925
Hermax: MaxSAT Optimization for Python Documentation

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

Abstract
Cite as

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)

Copy BibTex To Clipboard

@misc{dagstuhl-artifact-26925,
   title = {{Hermax: MaxSAT Optimization for Python Documentation}}, 
   author = {Salvia Hornos, Josep Maria and Fern\'{a}ndez Cam\'{o}n, C\`{e}sar and Mateu Pi\~{n}ol, Carles},
   note = {Text (visited on 2026-07-16)},
   url = {https://hermax.readthedocs.io/},
   doi = {10.4230/artifacts.26925},
}
Document
Tool Paper
DOI: 10.4230/LIPIcs.SAT.2026.41
Hermax: A Unified MaxSAT Library (Tool Paper)

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

Published in: LIPIcs, Volume 377, 29th International Conference on Theory and Applications of Satisfiability Testing (SAT 2026)

Abstract
Despite the utility of Maximum Satisfiability (MaxSAT) in discrete optimization, developing iterative workflows remains cumbersome due to fragmented, low-level solver APIs. We present Hermax, a unified Python library and modelling compiler for MaxSAT. Hermax provides an IPAMIR interface that exposes incremental solving, assumptions, and weight updates through a single API across many incremental and non-incremental backends. Furthermore, it introduces a compiler with Constraint Programming primitives that translates high-level models directly into optimized CNF/WCNF through eager evaluation. This compiler allows automatic optimizations like integer ladder graph encoding that bypasses Pseudo-Boolean formulation when possible. Together, these features enable rapid prototyping and production grade optimization directly from Python across major platforms and hardware architectures.
Cite as

Josep Maria Salvia Hornos, Cèsar Fernández Camón, and Carles Mateu Piñol. Hermax: A Unified MaxSAT Library (Tool Paper). In 29th International Conference on Theory and Applications of Satisfiability Testing (SAT 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 377, pp. 41:1-41:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

Copy BibTex To Clipboard

@InProceedings{salviahornos_et_al:LIPIcs.SAT.2026.41,
  author =	{Salvia Hornos, Josep Maria and Fern\'{a}ndez Cam\'{o}n, C\`{e}sar and Mateu Pi\~{n}ol, Carles},
  title =	{{Hermax: A Unified MaxSAT Library}},
  booktitle =	{29th International Conference on Theory and Applications of Satisfiability Testing (SAT 2026)},
  pages =	{41:1--41:13},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-431-4},
  ISSN =	{1868-8969},
  year =	{2026},
  volume =	{377},
  editor =	{Ignatiev, Alexey and Szeider, Stefan},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAT.2026.41},
  URN =		{urn:nbn:de:0030-drops-263478},
  doi =		{10.4230/LIPIcs.SAT.2026.41},
  annote =	{Keywords: MaxSAT, Incremental Solving, IPAMIR, Python, Constraint modelling}
}
Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2026 Schloss Dagstuhl – LZI GmbH Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact