MSCG - Maximum Satisfiability: a Core-Guided approach

Description

MSCG is a software system for solving (Weighted) (Partial) Maximum Satisfiability (MaxSAT), and implements different core-guided algorithms according to the type of instance considered.

News

15/Oct/2014: New wiki page published for MSCG.

Distribution

MSCG is publicly available as an executable for the following platforms:

Documentation

README file for MSCG.

Recent publications describing the algorithms implemented in MSCG include:

Benchmarks

  • Weighted/Unweighted (Partial) MaxSAT instances can be obtained from MaxSAT Evaluations.
  • MSCG accepts both the CNF and WCNF formats (for details on the formats see this page).

Contributors

Authors:

Contributors:

Wiki Status

Under construction

Last update: 16 October 2014

mscg.txt · Last modified: 2016/10/17 15:30 by ajrm
 
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 3.0 Unported
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki