Data di Pubblicazione:
2016
Citazione:
The Ninth QBF Solvers Evaluation–Preliminary Report / Pulina, Luca. - 1719:(2016), pp. 1-13. ( 4th International Workshop on Quantified Boolean Formulas).
Tipologia CRIS:
4.1 Contributo in Atti di convegno
Elenco autori:
Pulina, Luca
Link alla scheda completa:
Titolo del libro:
Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016)
Pubblicato in: