Differences

This shows you the differences between two versions of the page.

Link to this comparison view

mcsls [2016/11/17 16:17] (current)
ajrm created
Line 1: Line 1:
 +====== 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. {{:​papers:​mshjpb-ijcai13-preprint.pdf| Preprint}}
 +
 +
 +==== News ====
 +Apr 23, 2013: New wiki page published for MCSls.
 +
 +
 +
 +==== Distribution ====
 +
 +Download binaries (Linux 64bit, MacOSX 64 bit) of MCSls:
 +  * {{:​tools:​mcsls-linux-20130527.zip|Linux 64 bits}} ​
 +  * {{:​tools:​mcsls-macosx-20130527.zip|OS X Mountain Lion}}
 +  * {{:​tools:​mcsls-yosemite-20150223.zip|OS X Yosemite}}
 +
 +Please contact [[joao.marques-silva | Joao Marques-Silva]] in case of any queries or bug reports.
 +
 +
 +==== Documentation ====
 +{{:​docs:​readme-mcsls.txt|MCSls README}}
 +
 +
 +==== 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 | Joao Marques-Silva]] in case you are unable to download the archive.
 +
 +
 +==== Related Tools ====
 +
 +Download binaries (Linux 64bit, MacOSX 64 bit) of CAMUS2:
 +  * {{:​tools:​camus2-linux-20130529.zip|Linux 64 bits}} ​
 +  * {{:​tools:​camus2-macosx-20130529.zip|OS X Mountain Lion}}
 +
 +{{:​docs:​readme-tools-ijcai13.txt|README}} describing IJCAI'​13 experiments
 +
 +
 +==== Contributors ====
 +  * [[joao.marques-silva | Joao Marques-Silva]] (Principal Investigator)
 +  * [[federico.heras | Federico Heras]]
 +  * [[http://​sat.inesc-id.pt/​~mikolas/​ | Mikolas Janota]]
 +  * [[alessandro.previti | Alessandro Previti]]
 +  * [[anton.belov | Anton Belov]]
 +
 +
 +==== Funding ====
 +The research on MCS extraction & enumeration and the development of MCSls were partially supported by [[http://​www.sfi.ie/​ | Science Foundation Ireland]].
 +
 +{{:​images:​sfi.jpeg?​nolink&​200|}}
Print/export