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: P
Number of items: 1.


Pulina, Luca and Tacchella, Armando (2009) A Self-adaptive multi-engine solver for quantified Boolean formulas. Constraints, Vol. 14 (1), p. 80-116. eISSN 1572-9354. Article.

This list was generated on Fri May 25 05:23:24 2018 CEST.