Satisfiability-based set membership filters - UBC Library Open Collections

BIRS Workshop Lecture Videos

Featured Collection

Title	Satisfiability-based set membership filters
Creator	Weaver, Sean
Publisher	Banff International Research Station for Mathematical Innovation and Discovery
Date Issued	2014-01-23
Extent	26 minutes
Subject	Mathematics; Computer science; Mathematical logic and foundations; Theoretical computer science
Type	Moving Image
File Format	video/mp4
Language	eng
Notes	Author affiliation: US Department of Defense
Series	BIRS Workshop Lecture Videos (Banff, Alta)
Date Available	2014-08-06
Provider	Vancouver : University of British Columbia Library
Rights	Attribution-NonCommercial-NoDerivs 2.5 Canada
DOI	10.14288/1.0043912
URI	http://hdl.handle.net/2429/49865
Affiliation	Non UBC
Peer Review Status	Unreviewed
Scholarly Level	Faculty
Rights URI	http://creativecommons.org/licenses/by-nc-nd/2.5/ca/
Aggregated Source Repository	DSpace

201401231150-Weaver_lrv.mp4 -- 88.87MB

Attribution-NonCommercial-NoDerivs 2.5 Canada