Browse by Journal
Group by: Date | Creators Jump to: 2009 Number of items: 1.
2009Pulina, 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. |