@inproceedings{SAT-2014-BelovHM,
author = "Anton Belov and Marijn Heule and João Marques-Silva",
booktitle = "{Proceedings of the 17th International Conference on Theory and Applications of Satisfiability Testing, Held as Part of the Vienna Summer of Logic (VSL 2014)}",
doi = "10.1007/978-3-319-09284-3_5",
isbn = "978-3-319-09283-6",
pages = "48--57",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{MUS Extraction Using Clausal Proofs}",
volume = 8561,
year = 2014,
}
Tags: