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.

P

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 Tue Sep 16 09:27:09 2014 CEST.