1
Argitaratua 2013
Aurkibidea: ... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...
Testu osoa
Baliabide elektronikoa eBook