1
Published 2014
Table of Contents: ... to Obtain Hardness Results for Randomized Online Algorithms -- Integral Difference Ratio Functions...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...
View full text
Electronic eBook
3
Published 2012
Table of Contents: ... Benchmark Queries for Linked Open Data -- RDFS Reasoning on Massively Parallel Hardware -- An Efficient Bit...
View full text
Electronic eBook
4
Published 2012
Table of Contents: ... Benchmark Queries for Linked Open Data -- RDFS Reasoning on Massively Parallel Hardware -- An Efficient Bit...
View full text
Electronic eBook