iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/sat/MenciaKIM19.xml
Carlos Mencía Oliver Kullmann Alexey Ignatiev João Marques-Silva 0001 On Computing the Union of MUSes. 211-221 2019 SAT https://doi.org/10.1007/978-3-030-24258-9_15 conf/sat/2019 db/conf/sat/sat2019.html#MenciaKIM19