Parallel MUS Extraction

A. BelovA. Belov, N. MantheyN. Manthey, J. P. Marques-SilvaJ. P. Marques-Silva

A. Belov, N. Manthey, J. P. Marques-Silva
Parallel MUS Extraction
In M. Järvisalo and A. Van Gelder, eds., Theory and Applications of Satisfiability Testing - SAT 2013, volume 7962 of LNCS, 133-149, 2013. Springer

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

The final publication is available at Springer.

@inproceedings{BMM2013,
  author    = {A. Belov and N. Manthey and J. P. Marques-Silva},
  title     = {Parallel {MUS} Extraction},
  editor    = {M. J{\"{a}}rvisalo and A. Van Gelder},
  booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2013},
  series    = {LNCS},
  volume    = {7962},
  publisher = {Springer},
  year      = {2013},
  pages     = {133-149}
}