A fast and robust MaxSAT solver

Latest News
  • MaxHS is open source.  (Oct 24, 2014)
  • MaxHS v2.9 now available.  (Feb 10, 2016)

Archive

MaxHS solves Weighted Partial MaxSat problems.

Papers

  1. Jessica Davies PhD Thesis, Department of Computer Science, University of Toronto 2013.
  2. Jessica Davies and Fahiem Bacchus Postponing Optimization to Speed Up MAXSAT Solving. Proceedings of the 19th International Conference on Principles and Practice of Constraint Programming (CP 2013)
  3. Jessica Davies and Fahiem Bacchus. Exploiting the Power of MIP Solvers in MAXSAT. Proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013)
  4. Jessica Davies and Fahiem Bacchus. Solving MAXSAT by Solving a Sequence of Simpler SAT Instances. Proceedings of the 17th International Conference on Principles and Practice of Constraint Programming (CP 2011).
  5. Fahiem Bacchus, Antti Hyttinen, Matti Järvisalo, Paul Saikko. Reduced Cost Fixing in MaxSAT. Proceedings of the 23rd International Conference on Principles and Practice of Constraint Programming (CP 2017)
  6. Randy Hickey and Fahiem Bacchus. Speeding Up Assumption-Based SAT Proceedings of the 22nd International Conference on Theory and Applications of Satisfiability Testing (SAT 2019)
  7. Jeremias Berg, Fahiem Bacchus and Alex Poole. Abstract Cores in Implicit Hitting Set MaxSat Solving Proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT 2020)