Literal-Based eXtractor (LBX)


LBX [1] is a tool for the extraction of Minimal Correction Subsets (MCSes) of unsatisfiable CNF formulas. It also allows for enumerating MCSes, as well as approximating MaxSAT by selective MCS enumeration.


A Linux (64-bit) executable can be downloaded here: lbx.tar.gz


The problem instances used in the experiments in [1] can be downloaded from the following links:


[1] Carlos Mencía, Alessandro Previti and Joao Marques-Silva. Literal-Based MCS Extraction. IJCAI 2015

lbx.txt · Last modified: 2016/02/09 15:46 by carlos
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