MARCOというMUS列挙アルゴリズムがあるが、自分の理解では[GurvichKhachiyan1999]が[FredmanKhachiyan1996]を部品に使っていた部分を、SAT等で扱うようにしただけのような気がする。 論文では参照されていないけれど……
Mark Liffiton - MARCO
http://sun.iwu.edu/~mliffito/marco/
[FredmanKhachiyan1996] Michael L. Fredman and Leonid Khachiyan, On the Complexicy of Dualization of Monotone Disjunctifve Normal Forms, Journal of Algorithms, vol. 21, pp. 618-628, 1996.
http://www.sciencedirect.com/science/article/pii/S0196677496900620
http://www.cs.tau.ac.il/~fiat/dmsem03/On%20the%20complexity%20of%20Dualization%20of%20monotone%20Disjunctive%20Normal%20Forms%20-%201996.pdf
[GurvichKhachiyan1999] Vladimir Gurvich and Leonid Khachiyan, On generating the irredundant conjunctive and disjunctive normal forms of monotone Boolean functions, Discrete Applied Mathematics, vol. 96-97, pp. 363-373, 1999.
http://www.sciencedirect.com/science/article/pii/S0166218X99000992
自分の実装
https://github.com/msakai/toysolver/blob/b72c6a8f6cdcfd937fdf5e96ef223104ec9ad035/src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs
https://github.com/msakai/toysolver/blob/b72c6a8f6cdcfd937fdf5e96ef223104ec9ad035/src/ToySolver/Combinatorial/HittingSet/MARCO.hs