Journals in DBLP

Intelligenza Artificiale
2005, volume: 2, number: 3

1. Luca Benini, Davide Bertozzi, Alessio Guerri, Michela Milano, Francesco Poletti
   Measuring Efficiency and Executability of Allocation and Scheduling in Multi-Processor Systems-on-Chip. [Citation Graph (0, 0)][DBLP]
   Intelligenza Artificiale, 2005, v:2, n:3, pp:13-20 [Journal]
   
2. Wolfgang Faber, Nicola Leone, Francesco Ricca
   Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks. [Citation Graph (0, 0)][DBLP]
   Intelligenza Artificiale, 2005, v:2, n:3, pp:21-28 [Journal]
   
3. Nicola Policella, Riccardo Rasconi
   Designing a Testset Generator for Reactive Scheduling. [Citation Graph (0, 0)][DBLP]
   Intelligenza Artificiale, 2005, v:2, n:3, pp:29-36 [Journal]
   
4. Marco Benedetti
   Hybrid Evaluation Procedures for QBF. [Citation Graph (0, 0)][DBLP]
   Intelligenza Artificiale, 2005, v:2, n:3, pp:37-44 [Journal]
   
5. Marco Alberti, Federico Chesani
   The computational behaviour of the SCIFF abductive proof procedure and the SOCS-SI system. [Citation Graph (0, 0)][DBLP]
   Intelligenza Artificiale, 2005, v:2, n:3, pp:45-51 [Journal]