Section: Overall Objectives
Highlights of the Year
In  , we obtain an algorithm to solve Boolean systems with an expected complexity of breaking the barrier.
In  , we propose an algorithm to solve a variant of the Quantififer Elimination Problem for which the output formula is almost equivalent to the input formula. The complexity of this algorithm is much better than other algorithms and can solve previously untractable problems.
In  , we improve the complexity of Index Calculus Algorithms in Elliptic Curves by means of Gröbner basis techniques and we analyze the complexity of this new approach by using the multi-homogeneous structure of the equations.