Riis, Søren

• BRICS Report Series No. 19 (1998): RS-19 Generating Hard Tautologies Using Predicate Logic and the Symmetric Group - Articles
  Generating Hard Tautologies Using Predicate Logic and the Symmetric Group
  Abstract  PDF
• BRICS Report Series No. 20 (1998): RS-20 Uniformly Generated Submodules of Permutation Modules - Articles
  Uniformly Generated Submodules of Permutation Modules
  Abstract  PDF
• BRICS Report Series No. 29 (1999): RS-29 A Complexity Gap for Tree-Resolution - Articles
  A Complexity Gap for Tree-Resolution
  Abstract  PDF
• BRICS Report Series No. 24 (1994): RS-24 A Fractal which violates the Axiom of Determinacy - Articles
  A Fractal which violates the Axiom of Determinacy
  Abstract  PDF
• BRICS Report Series No. 23 (1994): RS-23 Finitisation in Bounded Arithmetic - Articles
  Finitisation in Bounded Arithmetic
  Abstract  PDF
• BRICS Report Series No. 21 (1994): RS-21 Count(q) does not imply Count(p) - Articles
  Count(q) does not imply Count(p)
  Abstract  PDF
• BRICS Report Series No. 26 (1994): RS-26 Count(q) versus the Pigeon-Hole Principle - Articles
  Count(q) versus the Pigeon-Hole Principle
  Abstract  PDF
• BRICS Report Series No. 25 (1994): RS-25 Bootstrapping the Primitive Recursive Functions by 47 Colors - Articles
  Bootstrapping the Primitive Recursive Functions by 47 Colors
  Abstract  PDF
• BRICS Report Series No. 10 (2000): RS-10 A Tough Nut for Tree Resolution - Articles
  A Tough Nut for Tree Resolution
  Abstract  PDF
• BRICS Report Series No. 14 (1997): RS-14 Dictionaries on AC^0 RAMs: Query Time Theta(√log n/log log n) is Necessary and Sufficient - Articles
  Dictionaries on AC^0 RAMs: Query Time Theta(√log n/log log n) is Necessary and Sufficient
  Abstract  PDF