Lymperopoulos, Panagiotis, and Liu, Liping. Graph Pruning for Enumeration of Minimal Unsatisfiable Subsets. Retrieved from https://par.nsf.gov/biblio/10586236.

Lymperopoulos, Panagiotis, & Liu, Liping. Graph Pruning for Enumeration of Minimal Unsatisfiable Subsets. Retrieved from https://par.nsf.gov/biblio/10586236.

Lymperopoulos, Panagiotis, and Liu, Liping. "Graph Pruning for Enumeration of Minimal Unsatisfiable Subsets". Country unknown/Code not available: Proceedings of The 27th International Conference on Artificial Intelligence and Statistics. https://par.nsf.gov/biblio/10586236.

@article{osti_10586236,
place = {Country unknown/Code not available}, title = {Graph Pruning for Enumeration of Minimal Unsatisfiable Subsets}, url = {https://par.nsf.gov/biblio/10586236}, abstractNote = {}, journal = {}, number = {238}, publisher = {Proceedings of The 27th International Conference on Artificial Intelligence and Statistics}, author = {Lymperopoulos, Panagiotis and Liu, Liping}, editor = {Dasgupta, Sanjoy and Mandt, Stephan and Li, Yingzhen} }