Browse by Journal
Group by: Date | Creators Number of items: 2.
2010Pulina, 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. 2006Narizzano, 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. |