Differences

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

Link to this comparison view

mcsxl [2016/11/17 15:33]
ajrm created
mcsxl [2018/02/22 16:38] (current)
ajrm
Line 1: Line 1:
-====== MCS eXtraction with subLinear number of oracle calls (mcsXL) ​======+====== ​mcsXL: ​MCS eXtraction with subLinear number of oracle calls  ====== 
 + 
 +mcsXL is a tool for relaxing overconstrained sets of constraints 
 +defined over Boolean domains.
  
 ==== Description ==== ==== Description ====
  
-mcsXL [1] is a tool for the extraction ​of Minimal Correction Subsets ​(MCSes) of unsatisfiable CNF formulas. +mcsXL [1] represents ​the state of the art in computing minimal correction 
 +subsets ​(MCSes) of overconstrained sets of constraints defined over 
 +Boolean domains.
  
 ==== Distribution ==== ==== Distribution ====
  
 A Linux (64-bit) executable can be downloaded here: {{:​tools:​mcsxl.tar.gz|}} A Linux (64-bit) executable can be downloaded here: {{:​tools:​mcsxl.tar.gz|}}
- 
  
  
 ==== References ==== ==== References ====
 [1] Carlos Mencía, Alexey Ignatiev, Alessandro Previti and Joao Marques-Silva. MCS Extraction with Sublinear Oracle Queries. SAT 2016 [1] Carlos Mencía, Alexey Ignatiev, Alessandro Previti and Joao Marques-Silva. MCS Extraction with Sublinear Oracle Queries. SAT 2016
Print/export