titoli, abstracts, parole chiave >>>
Browse by Journal
Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Date | Creators
Jump to: N | P
Number of items: 2.

N

Narizzano, Massimo and Pulina, Luca and Tacchella, Armando (2006) Report of the third QBF solvers evaluation. Journal on Satisfiability, Boolean Modeling and Computation, Vol. 2 , p. 145-164. eISSN 1574-0617. Article.

P

Pulina, Luca and Tacchella, Armando (2010) AQME'10 system description. Journal on Satisfiability, Boolean Modeling and Computation, Vol. 7 , p. 65-70. eISSN 1574-0617. Article.

This list was generated on Wed Jul 30 15:09:56 2014 CEST.