Search for dissertations about: "Magnus Wahlström"

Found 1 swedish dissertation containing the words Magnus Wahlström.

2. 1. Algorithms, measures and upper bounds for satisfiability and related problems

   Author : Magnus Wahlström; Peter Jonsson; Oliver Kullmann; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Exact algorithms; upper bounds; algorithm analysis; satisfiability; Computer science; Datavetenskap;

   Abstract : The topic of exact, exponential-time algorithms for NP-hard problems has received a lot of attention, particularly with the focus of producing algorithms with stronger theoretical guarantees, e.g. upper bounds on the running time on the form O(c^n) for some c. READ MORE