Skip to main navigation
Skip to search
Skip to main content
Paris-Lodron-University Salzburg Home
Help & FAQ
English
Deutsch
Home
Profiles
Organisational units
Projects
Research output
Datasets
Press/Media
Third Mission Activities
Activities
Prizes
Search by expertise, name or affiliation
Johannes Kepler University of Linz
Martin Aigner (Visiting researcher)
Activity
:
Research stay
›
Research Stay
›
on-site
Description
Working on our paper “Analysis of PortfolioStyle Parallel SAT Solving on Current MultiCore Architectures” to be submitted to “Pragmatics of SAT 2013”
Period
23 Apr 2013
→
24 Apr 2013
Visiting
Johannes Kepler University of Linz
X