ahmaxsat is a branch and bound solver dedicated to the MaxSAT problem.
Authors: André Abramé and Djamal Habet, Aix-Marseille University, LSIS, CNRS, France.


The related publications to ahmaxsat are:
- André Abramé, Djamal Habet: Efficient Application of Max-SAT Resolution on Inconsistent Subsets. CP 2014: 92-107.
- André Abramé, Djamal Habet: Local Max-Resolution in Branch and Bound Solvers for Max-SAT. ICTAI 2014: 336-343.
- André Abramé, Djamal Habet: Maintaining and Handling All Unit Propagation Reasons in Exact Max-SAT Solvers. SOCS 2014.
- André Abramé, Djamal Habet: On the Extension of Learning for Max-SAT. STAIRS 2014: 1-10.
- André Abramé, Djamal Habet: On the Resiliency of Unit Propagation to Max-Resolution. Accepted to IJCAI-15.