"Non UBC"@en . "DSpace"@en . "Bueno, Denis"@en . "2014-08-07T03:04:44Z"@en . "2014-01-24"@en . "https://circle.library.ubc.ca/rest/handle/2429/49873?expand=metadata"@en . "22 minutes"@en . "video/mp4"@en . ""@en . "Author affiliation: University of Michigan"@en . "10.14288/1.0043920"@en . "eng"@en . "Unreviewed"@en . "Vancouver : University of British Columbia Library"@en . "Banff International Research Station for Mathematical Innovation and Discovery"@en . "Attribution-NonCommercial-NoDerivs 2.5 Canada"@en . "http://creativecommons.org/licenses/by-nc-nd/2.5/ca/"@en . "Researcher"@en . "BIRS Workshop Lecture Videos (Banff, Alta)"@en . "Mathematics"@en . "Computer science"@en . "Mathematical logic and foundations"@en . "Theoretical computer science"@en . "Detecting traditional packing, decisively"@en . "Moving Image"@en . "http://hdl.handle.net/2429/49873"@en .