MCSls (MCS lister): MCS computation & enumeration tool

Description

MCSls is a tool for computing and enumerating MCSes.

The relevant publications are:

  • J. Marques-Silva, F. Heras, M. Janota, A. Previti, A. Belov: On Computing Minimal Correction Subsets. IJCAI 2013. Preprint

News

Apr 23, 2013: New wiki page published for MCSls.

Distribution

Download binaries (Linux 64bit, MacOSX 64 bit) of MCSls:

Please contact Joao Marques-Silva in case of any queries or bug reports.

Documentation

Example Usage

1. Computation of all MCSes:

 ./mcsls INSTANCE

2. Help command:

 ./mcsls -h

Benchmarks

The problem instances used in our IJCAI 2013 paper are available from http://logos.ucd.ie/Drops/ijcai13-bench.tgz. The size of this archive is ~1.8GByte. Please contact Joao Marques-Silva in case you are unable to download the archive.

Download binaries (Linux 64bit, MacOSX 64 bit) of CAMUS2:

README describing IJCAI'13 experiments

Contributors

Funding

The research on MCS extraction & enumeration and the development of MCSls were partially supported by Science Foundation Ireland.

mcsls.txt · Last modified: 2015/02/23 09:41 by joao
 
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