Johannes Kepler University of Linz

  • Martin Aigner (Visiting researcher)

    Activity: Research stayResearch Stayon-site

    Description

    Working on our paper “Analysis of Portfolio­Style Parallel SAT Solving on Current Multi­Core Architectures” to be submitted to “Pragmatics of SAT 2013”
    Period23 Apr 201324 Apr 2013
    VisitingJohannes Kepler University of Linz