2 ms·
A notion of subsumption was also studied in the context of QBF solving. https://doi.org/10.1007/978-3-642-24372-1_14 https://doi.org/10.1007/978-3-642-24372-1_1
by 6ardamu 5y ago
A notion of subsumption was also studied in the context of QBF solving.
https://doi.org/10.1007/978-3-642-24372-1_14 https://doi.org/10.1007/978-3-642-24372-1_14