Publications

158 entries « 4 of 4 »

2008

Pulina, L; Tacchella, A

QuBIS: An (in)complete solver for quantified boolean formulas Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 5317 LNAI , pp. 34-43, 2008.

Links | BibTeX

Pulina, L; Tacchella, A

Treewidth: A useful marker of empirical hardness in quantified boolean logic encodings Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 5330 LNAI , pp. 528-542, 2008.

Links | BibTeX

Secchi, S; Palumbo, F; Pani, D; Raffo, L

A network on chip architecture for heterogeneous traffic support with non-exclusive dual-mode switching Conference

2008.

Links | BibTeX

Palumbo, F; Secchi, S; Pani, D; Raffo, L

A novel non-exclusive dual-mode architecture for MPSoCs-oriented network on chip designs Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 5114 LNCS , pp. 96-105, 2008.

Links | BibTeX

Palumbo, F; Pani, D; Raffo, L; Secchi, S

A surface tension and coalescence model for dynamic distributed resources allocation in Massively Parallel Processors on-Chip Journal Article

Studies in Computational Intelligence, 129 , pp. 335-345, 2008.

Links | BibTeX

2007

Pulina, L; Tacchella, A

A multi-engine solver for quantified boolean formulas Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 4741 LNCS , pp. 574-589, 2007.

Links | BibTeX

Narizzano, M; Pulina, L; Tacchella, A

Ranking and reputation systems in the QBF competition Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 4733 LNAI , pp. 97-108, 2007.

Links | BibTeX

2006

Narizzano, M; Pulina, L; Tacchella, A

The QBFEVAL web portal Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 4160 LNAI , pp. 494-497, 2006.

Links | BibTeX

158 entries « 4 of 4 »