Data di Pubblicazione:
2007
Citazione:
A Multi-engine Solver for Quantified Boolean Formulas / Pulina, Luca; Tacchella, A.. - 4741:(2007), pp. 574-589. ( CP 2007 Providence, RI, USA September 23-27, 2007) [10.1007/978-3-540-74970-7_41].
Tipologia CRIS:
4.1 Contributo in Atti di convegno
Elenco autori:
Pulina, Luca; Tacchella, A.
Link alla scheda completa:
Titolo del libro:
Principles and Practice of Constraint Programming – CP 2007
Pubblicato in: