Showing 1 - 1 results of 1 for search 'Hoos, Holger H.', query time: 0.01s Refine Results
  1. 1
    Theory and Applications of Satisfiability Testing (vol. # 3542) 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
    by Hoos, Holger H.
    Published in Springer e-books (2005)
    Get full text
    eBook
Search Tools: Get RSS Feed