Research

Last updated on2012-07-12Research > Technical Reports > 2000

Technical Reports published 2000

Optimal Static Range Reporting in One Dimension
Authors: Stephen Alstrup, Gerth S. Brodal and Theis Rauhe

Greedy Model Checking
Authors: Poul F. Williams, Antoine Rauzy

Satisfiability Checking Using Boolean Expression Diagrams
Authors: Poul F. Williams, Henrik R. Andersen, Henrik Hulgaard

http://212.97.130.100/en/Forskning/Technical-Reports/2000