Pascal and Francis Bibliographic Databases

Help

Search results

Your search

au.\*:("PULINA, Luca")

Results 1 to 2 of 2

  • Page / 1
Export

Selection :

  • and

The QBFEVAL web portalNARIZZANO, Massimo; PULINA, Luca; TACCHELLA, Armando et al.Lecture notes in computer science. 2006, pp 494-497, issn 0302-9743, isbn 3-540-39625-X, 1Vol, 4 p.Conference Paper

A self-adaptive multi-engine solver for quantified Boolean formulasPULINA, Luca; TACCHELLA, Armando.Constraints (Dordrecht). 2009, Vol 14, Num 1, pp 80-116, issn 1383-7133, 37 p.Article

  • Page / 1