Hard QBF Encodings made easy: Dream or Reality? / PULINA, LUCA; TACCHELLA, ARMANDO. - STAMPA. - (2009), pp. 31-41. ((Intervento presentato al convegno 11th International Conference of the Italian Association for Artificial Intelligence tenutosi a Reggio Emilia nel Dicembre 9-12, 2009.
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo
Titolo: | Hard QBF Encodings made easy: Dream or Reality? |
Autori: | |
Data di pubblicazione: | 2009 |
Serie: | |
Handle: | http://hdl.handle.net/11567/241890 |
ISBN: | 9783642102905 |
Appare nelle tipologie: | 04.01 - Contributo in atti di convegno |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.