Abstract
We describe MaxPre, an open-source preprocessor for (weighted partial) maximum satisfiability (MaxSAT). MaxPre implements both SAT-based and MaxSAT-specific preprocessing techniques, and offers solution reconstruction, cardinality constraint encoding, and an API for tight integration into SAT-based MaxSAT solvers.
Cite
CITATION STYLE
APA
Korhonen, T., Berg, J., Saikko, P., & Järvisalo, M. (2017). MaxPre: An extended MaxSAT preprocessor. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10491 LNCS, pp. 449–456). Springer Verlag. https://doi.org/10.1007/978-3-319-66263-3_28
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free