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

2009

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 Sat Oct 21 14:11:17 2017 CEST.