We develop a new algebraic technique that solves the following problem: Given a black box that contains an arithmetic circuit f over a field of characteristic 2 of degree d. Decide whether f , expressed as an equivalent multivariate polynomial, contains a multilinear monomial of degree d. This problem was solved by Williams [4] and Björklund et. al. [5] for a white box (the circuit is given as ...

Because of their highly distributed nature and the lack of global re-balancing, skip-lists are becoming an increasingly important logarithmic search structure for concurrent applications. Unfortunately, none of the concurrent skiplist implementations in the literature, whether lock-based or lock-free, have been proven correct. Moreover, the complex structure of these algorithms, most likely the...

Algorithm portfolios try to combine the strength of individual algorithms to tackle a problem instance at hand with the most suitable technique. In the context of SAT the effectiveness of such approaches is often demonstrated at the SAT Competitions. In this paper we show that a competitive algorithm portfolio can be designed in an extremely simple fashion. In fact, the algorithm portfolio we p...